2.5.0
The MiniZinc Handbook
1. Overview
2. A MiniZinc Tutorial
3. User Manual
4. Reference Manual
4.1. Specification of MiniZinc
4.2. The MiniZinc library
4.2.1. Standard Library
4.2.2. FlatZinc builtins
4.2.3. Annotations
4.2.4. Global constraints
4.2.5. Additional declarations for Gecode
4.2.6. Additional declarations for Chuffed
4.3. Interfacing Solvers to Flatzinc
The MiniZinc Handbook
Docs
»
4. Reference Manual
»
4.2. The MiniZinc library
»
4.2.3. Annotations
4.2.3. Annotations
ΒΆ
These annotations control evaluation and solving behaviour.