MiniZinc

MiniZinc is a free and open-source constraint modelling language. You can use MiniZinc to model constraint satisfaction and optimization problems in a high-level, solver-independent way, taking advantage of a large library of pre-defined constraints. Your model is then compiled into FlatZinc, a solver input language that is understood by a wide range of solvers.Please use the conference paper "MiniZinc: Towards a Standard CP Modelling Language" as the primary citation for MiniZinc. *In addition* please consider using the contained software citation to cite the specific version of MiniZinc you are using