Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- [Desktop Entry]
- Type=Application
- Name=MiniZinc IDE
- Comment=Simple IDE for writing and running MiniZinc models
- Icon=/opt/minizinc-ide/resources/icon.png
- Exec=/opt/minizinc-ide/MiniZincIDE.sh
- Terminal=false
- Categories=Development;IDE;
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement