4.2.7. MiniZinc definitions for the MiniZinc diversity extension.

These annotations and predicates can be used to produce diverse set of solutions.In order to use them in a model, include the file “diversity.mzn”.

4.2.7.1. Annotations provided to guide the MiniZinc diversity extension.
- Functions and Predicates
  - diverse_pairwise
- Annotations
4.2.7.2. Distance functions provided in the MiniZinc diversity extension.
- hamming_distance
- manhattan_distance