14.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.
- - Added constraints
subcircuit/[1,2], a variant of
diffn/[1,2], a generalization and recommended replacement for
all_different_except_0/1, a variant of
all_distinct_except_0/1, a variant of
- - Added
fd_purge/1, a means of forgetting a variable’s domain and constraints.
- - Upgraded to MiniZinc 2.4.1, with standardized option flags and statistics output.
- - Added native support for the MiniZinc globals
- - Performance improvements.
Send feedback on this subject.