<< Prev | - Up - | Next >> |
Inspector replaces Browser as default viewer in Explorer and Ozcar
The verbosity of printing variables can be controlled by the property 'print.verbose'
Mozart uses sorting in many important places (record construction, dictionaries, finite domains, many finite domain propagators). All uses of sorting now share a single, efficient and robust implementation.
Documented FD.distinctD
(domain-consistent alldifferent) and added FD.distinctB
(bounds-consistent alldifferent, naive quadratic version)
<< Prev | - Up - | Next >> |