## 7.2 Changes

- 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)