|• Zinc Prerequisites:||Prerequisites|
|• Zinc Errors:||Error Messages|
|• Zinc Limitations:||Limitations|
MiniZinc is a free and open-source constraint modelling language, developed at Monash University in collaboration with Data61 Decision Sciences and the University of Melbourne. Models are compiled into FlatZinc, a solver input language that is understood by a wide range of solvers, including SICStus Prolog. See http://www.minizinc.org for more information.
This library provides an interpreter for FlatZinc programs (see FlatZinc), and, via an external MiniZinc-to-FlatZinc translator, an interpreter also for MiniZinc programs (see MiniZinc). The library interface was inspired by the MiniZinc and FlatZinc libraries of The ECLiPSe Constraint Programming System. It is compatible with MiniZinc 2.2.3 distribution.