Integrated development environment for the high-level constraint modelling language MiniZinc.
No dependency information