13.35.1 New Features

• ZINC:
  • - All MiniZinc search annotations are supported natively, in particular search annotations for randomized search, restarting search, and large neighborhood search.
  • - Upgraded to MiniZinc 2.9.0 with native support for constraints increasing, strictly_increasing, decreasing, strictly_decreasing, network_flow, and network_flow_cost.
• CLPFD:
  • - In addition to variables that take integer values, variables that take real values and their constraints have been introduced.
  • - labeling/2 and search/2 options have been restructured and extended. You can specify randomized search, restarting search, large neighborhood search, multiobjective minimize/maximize, and lexicographic minimize/maximize.
  • - fd_statistics/2 keywords have been extended and renamed to align with their MiniZinc counterparts.
  • - library(random) and library(clpfd) now use separate random number generators. The latter random seed can be accessed by new fd_setrand/1 and fd_getrand/1.
  • - increasing/[1,2], decreasing/[1,2], and network_flow/[2,3] are new.
  • - element/2 is reifiable.
  • - Performance improvements, most notably for constraints over Booleans such as bool_and/2 and bool_or/2.