4.2. The MiniZinc libraryΒΆ
- 4.2.1. Annotations
- 4.2.2. Option type support
- 4.2.3. Compiler options
- 4.2.4. Builtins
- 4.2.4.1. Comparison Builtins
- 4.2.4.2. Arithmetic Builtins
- 4.2.4.3. Exponential and logarithmic builtins
- 4.2.4.4. Trigonometric functions
- 4.2.4.5. Logical operations
- 4.2.4.6. Set operations
- 4.2.4.7. Conditionals
- 4.2.4.8. Array operations
- 4.2.4.9. Array sorting operations
- 4.2.4.10. Coercions
- 4.2.4.11. String operations
- 4.2.4.12. Reflection operations
- 4.2.4.13. Assertions and debugging functions
- 4.2.4.14. Functions for enums
- 4.2.4.15. Random Number Generator builtins
- 4.2.4.16. Special constraints
- 4.2.4.17. Language information
- 4.2.5. FlatZinc builtins
- 4.2.5.1. Integer FlatZinc builtins
- 4.2.5.2. Bool FlatZinc builtins
- 4.2.5.3. Set FlatZinc builtins
- 4.2.5.4. Float FlatZinc builtins
- 4.2.5.5. FlatZinc builtins added in MiniZinc 2.0.0.
- 4.2.5.6. FlatZinc builtins added in MiniZinc 2.0.2.
- 4.2.5.7. FlatZinc builtins added in MiniZinc 2.1.0.
- 4.2.5.8. FlatZinc builtins added in MiniZinc 2.1.1.
- 4.2.6. Global constraints
- 4.2.6.1. All-Different and related constraints
- 4.2.6.2. Lexicographic constraints
- 4.2.6.3. Sorting constraints
- 4.2.6.4. Channeling constraints
- 4.2.6.5. Counting constraints
- 4.2.6.6. Packing constraints
- 4.2.6.7. Scheduling constraints
- 4.2.6.8. Graph constraints
- 4.2.6.9. Extensional constraints (table, regular etc.)
- 4.2.6.10. Other declarations
- 4.2.7. Additional declarations for Gecode
- 4.2.8. Additional declarations for Chuffed