Integrated Development Environment (IDE) for MiniZinc, a free and open-source constraint modeling language. WWW: https://www.minizinc.org/