10.7.6 New Features in library(clpfd)
fd_degree/2 is new; returns the number of constraints attached to
labeling/2 requires the list of domain variables to have bounded
domains. User-defined variable and value choice heuristics can be
element/3 is interval-consistent in its second and third
relation/3 if domain-consistency is required.
serialized/3 is new and replaces
serialized_precedence_resource/4. A number of new options
control the algorithm. The space complexity no longer depends on the
cumulative/5 is new and takes the same options as
are new and take options controlling the algorithms.
- Generally, performance and error checking have been improved.