4.2. The MiniZinc library¶
- 4.2.1. Global constraints
- 4.2.1.1. Counting constraints
- 4.2.1.2. All-Different and related constraints
- 4.2.1.3. Lexicographic constraints
- 4.2.1.4. Sorting constraints
- 4.2.1.5. Channeling constraints
- 4.2.1.6. Packing constraints
- 4.2.1.7. Scheduling constraints
- 4.2.1.8. Graph constraints
- 4.2.1.9. Extensional constraints (table, regular etc.)
- 4.2.1.10. Machine learning constraints
- 4.2.1.11. Deprecated constraints
- 4.2.1.12. Other declarations
- 4.2.2. Standard Library
- 4.2.2.1. Language information
- 4.2.2.2. Compiler options
- 4.2.2.3. Annotations
- 4.2.2.4. Special constraints
- 4.2.2.5. Option type support
- 4.2.2.6. Comparison Builtins
- 4.2.2.7. Arithmetic Builtins
- 4.2.2.8. Exponential and logarithmic builtins
- 4.2.2.9. Trigonometric functions
- 4.2.2.10. Logical operations
- 4.2.2.11. Set operations
- 4.2.2.12. Conditionals
- 4.2.2.13. Array operations
- 4.2.2.14. Array sorting operations
- 4.2.2.15. Coercions
- 4.2.2.16. String operations
- 4.2.2.17. Reflection operations
- 4.2.2.18. Assertions and debugging functions
- 4.2.2.19. Functions for enums
- 4.2.2.20. Random Number Generator builtins
- 4.2.3. FlatZinc builtins
- 4.2.3.1. Integer FlatZinc builtins
- 4.2.3.2. Bool FlatZinc builtins
- 4.2.3.3. Set FlatZinc builtins
- 4.2.3.4. Float FlatZinc builtins
- 4.2.3.5. FlatZinc builtins added in MiniZinc 2.0.0.
- 4.2.3.6. FlatZinc builtins added in MiniZinc 2.0.2.
- 4.2.3.7. FlatZinc builtins added in MiniZinc 2.1.0.
- 4.2.3.8. FlatZinc builtins added in MiniZinc 2.1.1.
- 4.2.3.9. FlatZinc builtins added in MiniZinc 2.2.1.
- 4.2.3.10. FlatZinc builtins added in MiniZinc 2.3.3.
- 4.2.3.11. FlatZinc builtins added in MiniZinc 2.5.2.
- 4.2.4. Additional declarations for Gecode
- 4.2.5. Additional declarations for Chuffed