library(zinc):
Interpreters for the MiniZinc and FlatZinc combinatorial problem modeling languages
being developed in the G12 project; see http://www.g12.csse.unimelb.edu.au.
library(clpfd):
Revived deprecated constraints count/4 and relation/3.