Next: 4.5.1 Known Issues, Previous: 4.5.1 Other Changes, Up: 4.5.1 Changes [Contents]
profile_data/1 and
coverage_data/1 was sometimes inaccurate for built-in
predicates.
fd_degree/2 and related labeling options.
fd_neighbors/2 to sometimes return too many variables.
labeling([minimize(...)], ...) to succeed if there is no solution,
also affecting MiniZinc.