MiniZinc is a free and open-source constraint modeling language.
