Previous: lib-xml, Up: The Prolog Library [Contents][Index]
library(zinc)
• Zinc Prerequisites | Prerequisites | |
• FlatZinc | FlatZinc | |
• MiniZinc | MiniZinc | |
• Zinc Options | Options | |
• Zinc Annotations | Annotations |
MiniZinc is a free and open-source constraint modeling language, developed at Monash University withsupport from OPTIMA. Models are compiled into FlatZinc, a solver input language that is understood by a wide range of solvers, including SICStus Prolog. See https://www.minizinc.org/ for more information.
This library provides an interpreter for FlatZinc programs (see FlatZinc), and 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.9.0 distribution and supports all variable types.