|• Zinc Notes:||Notes|
|• Zinc Errors:||Zinc Errors|
NICTA (National ICT Australia) develops three languages for specifying combinatorial (optimization) problems: a high-level modeling language called Zinc, a medium-level modeling language called MiniZinc, and a low-level solver input language called FlatZinc. 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.1 distribution.