13.8.1 New Features

• library(zinc): Interpreters for the MiniZinc and FlatZinc combinatorial problem modeling languages being developed in the G12 project; see https://www.minizinc.org.
• library(clpfd): Revived deprecated constraints count/4 and relation/3.