4. Reference Manual¶
- 4.1. Specification of MiniZinc
- 4.1.1. Introduction
- 4.1.2. Notation
- 4.1.3. Overview of a Model
- 4.1.4. Syntax Overview
- 4.1.5. High-level Model Structure
- 4.1.6. Types and Type-insts
- 4.1.7. Expressions
- 4.1.7.1. Expressions Overview
- 4.1.7.2. Operators
- 4.1.7.3. Expression Atoms
- Identifier Expressions and Quoted Operator Expressions
- Anonymous Decision Variables
- Boolean Literals
- Integer and Float Literals
- String Literals and String Interpolation
- Set Literals
- Set Comprehensions
- Array Literals
- 2d Array Literals
- Array Comprehensions
- Array Access Expressions
- Array Slice Expressions
- Annotation Literals
- If-then-else Expressions
- Let Expressions
- Call Expressions
- Generator Call Expressions
- 4.1.8. Items
- 4.1.9. Annotations
- 4.1.10. Partiality
- 4.1.11. Built-in Operations
- 4.1.11.1. Comparison Operations
- 4.1.11.2. Arithmetic Operations
- 4.1.11.3. Logical Operations
- 4.1.11.4. Set Operations
- 4.1.11.5. Array Operations
- 4.1.11.6. Coercion Operations
- 4.1.11.7. String Operations
- 4.1.11.8. Bound and Domain Operations
- 4.1.11.9. Option Type Operations
- 4.1.11.10. Other Operations
- 4.1.12. Content-types
- 4.1.13. JSON support
- 4.1.14. Full grammar
- 4.2. The MiniZinc library
- 4.2.1. Standard Library
- 4.2.1.1. Language information
- 4.2.1.2. Compiler options
- 4.2.1.3. Special constraints
- 4.2.1.4. Option type support
- 4.2.1.5. Comparison Builtins
- 4.2.1.6. Arithmetic Builtins
- 4.2.1.7. Exponential and logarithmic builtins
- 4.2.1.8. Trigonometric functions
- 4.2.1.9. Logical operations
- 4.2.1.10. Set operations
- 4.2.1.11. Conditionals
- 4.2.1.12. Array operations
- 4.2.1.13. Array sorting operations
- 4.2.1.14. Coercions
- 4.2.1.15. String operations
- 4.2.1.16. Reflection operations
- 4.2.1.17. Assertions and debugging functions
- 4.2.1.18. Functions for enums
- 4.2.1.19. Random Number Generator builtins
- 4.2.2. FlatZinc builtins
- 4.2.2.1. Integer FlatZinc builtins
- 4.2.2.2. Bool FlatZinc builtins
- 4.2.2.3. Set FlatZinc builtins
- 4.2.2.4. Float FlatZinc builtins
- 4.2.2.5. FlatZinc builtins added in MiniZinc 2.0.0.
- 4.2.2.6. FlatZinc builtins added in MiniZinc 2.0.2.
- 4.2.2.7. FlatZinc builtins added in MiniZinc 2.1.0.
- 4.2.2.8. FlatZinc builtins added in MiniZinc 2.1.1.
- 4.2.2.9. FlatZinc builtins added in MiniZinc 2.2.1.
- 4.2.2.10. FlatZinc builtins added in MiniZinc 2.3.3.
- 4.2.3. Annotations
- 4.2.4. Global constraints
- 4.2.4.1. Counting constraints
- 4.2.4.2. All-Different and related constraints
- 4.2.4.3. Lexicographic constraints
- 4.2.4.4. Sorting constraints
- 4.2.4.5. Channeling constraints
- 4.2.4.6. Packing constraints
- 4.2.4.7. Scheduling constraints
- 4.2.4.8. Graph constraints
- 4.2.4.9. Extensional constraints (table, regular etc.)
- 4.2.4.10. Machine learning constraints
- 4.2.4.11. Deprecated constraints
- 4.2.4.12. Other declarations
- 4.2.5. Additional declarations for Gecode
- 4.2.6. Additional declarations for Chuffed
- 4.2.1. Standard Library
- 4.3. Interfacing Solvers to Flatzinc
- 4.3.1. Specification of FlatZinc
- 4.3.2. Output
- 4.3.3. Solver-specific Libraries
- 4.3.4. Command-Line Interface and Standard Options
- 4.3.5. Solver Configuration Files
- 4.3.6. Grammar