Integrated Development Environment (IDE) for MiniZinc, a free and open-source
constraint modeling language.