13.30.1 New Features

• library(is_directives) is a new library module that provides access to information declared by is/2 directives, in particular, about determinacy.
• The nondeterminacy annotations of print_profile/[0,1] are sensitive to determinacy declarations.
• CLPFD:
  • - Added constraints subcircuit/[1,2], a variant of circuit/[1,2]; diffn/[1,2], a generalization and recommended replacement for disjoint1/[1,2] and disjoint2/[1,2]; all_different_except_0/1, a variant of all_different/1; all_distinct_except_0/1, a variant of all_distinct/1; symmetric_all_different/1 and symmetric_all_distinct/; minimum_arg/2 and maximum_arg/2.
  • - Added fd_purge/1, a means of forgetting a variable’s domain and constraints.
• MiniZinc:
  • - Upgraded to MiniZinc 2.4.1, with standardized option flags and statistics output.
  • - Added native support for the MiniZinc globals subcircuit, alldifferent_except_0, symmetric_all_different, seq_precede_chain, cost_regular, mdd, mdd_regular, minimum_arg/2 and maximum_arg/2.
  • - Performance improvements.