2.5.0
The MiniZinc Handbook
1. Overview
2. Minizinc 指南
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.