blob: b51ce64b51ca25ae10d12897604c1d3fe01c5a24 (
plain)
1
2
3
4
5
6
7
8
|
[Desktop Entry]
Type=Application
Name=MiniZinc IDE
Comment=Simple IDE for writing and running MiniZinc models
Exec=minizinc-ide
Icon=/usr/share/minizinc-ide/minizinc.png
Terminal=false
Categories=Education;Development;IDE;
|