4.2. The MiniZinc library

• 4.2.1. Standard Library
  • 4.2.1.1. Built-in functions and operators
  • 4.2.1.2. Annotations
  • 4.2.1.3. Option type support
  • 4.2.1.4. Array sorting operations
  • 4.2.1.5. Language information
  • 4.2.1.6. Compiler options
  • 4.2.1.7. Conditionals
  • 4.2.1.8. Reflection operations
  • 4.2.1.9. Assertions and debugging functions
  • 4.2.1.10. Random Number Generator builtins
  • 4.2.1.11. Stuctured Output
• 4.2.2. Global constraints
  • 4.2.2.1. All-Different and related constraints
  • 4.2.2.2. Lexicographic constraints
  • 4.2.2.3. Sorting constraints
  • 4.2.2.4. Channeling constraints
  • 4.2.2.5. Counting constraints
  • 4.2.2.6. Array-related constraints
  • 4.2.2.7. Set-related constraints
  • 4.2.2.8. Mathematical constraints
  • 4.2.2.9. Packing constraints
  • 4.2.2.10. Scheduling constraints
  • 4.2.2.11. Graph constraints
  • 4.2.2.12. Extensional constraints (table, regular etc.)
  • 4.2.2.13. Machine learning constraints
  • 4.2.2.14. Deprecated constraints
• 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.3.12. Deprecated FlatZinc builtins
• 4.2.4. Additional declarations for Gecode
  • 4.2.4.1. Additional Gecode search annotations
  • 4.2.4.2. Additional Gecode constraints
• 4.2.5. Additional declarations for Chuffed
  • 4.2.5.1. Additional Chuffed search annotations
  • 4.2.5.2. Other declarations
• 4.2.6. MiniZincIDE tools
  • 4.2.6.1. MiniZincIDE solution visualisation tools
• 4.2.7. Experimental Features
  • 4.2.7.1. On Restart