library(zinc)The G12 project 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 the G12 project at http://www.g12.csse.unimelb.edu.au for more information about Zinc, MiniZinc, and FlatZinc.
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.