Combinatorial Optimisation

MiniZinc

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