icon for Minizinc IDE

Minizinc IDE

MiniZinc is a free and open-source constraint modeling language

↑