MiniZinc IDE | Batch Downloader

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