4.2. The MiniZinc library