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.8. Items
  • 4.1.9. Annotations
  • 4.1.10. Partiality
  • 4.1.11. Built-in 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.2. Global constraints
  • 4.2.3. FlatZinc builtins
  • 4.2.4. Additional declarations for Gecode
  • 4.2.5. Additional declarations for Chuffed
  • 4.2.6. MiniZincIDE tools
  • 4.2.7. Experimental Features
• 4.3. Interfacing Solvers to Flatzinc
  • 4.3.1. Specification of FlatZinc
  • 4.3.2. Specification of FlatZinc-JSON
  • 4.3.3. Output
  • 4.3.4. Solver-specific Libraries
  • 4.3.5. Command-Line Interface and Standard Options
  • 4.3.6. Solver Configuration Files
  • 4.3.7. Grammar
• 4.4. Machine-readable JSON output format
  • 4.4.1. Solution messages
  • 4.4.2. Checker messages
  • 4.4.3. Status messages
  • 4.4.4. Statistics messages
  • 4.4.5. Timestamp messages
  • 4.4.6. Comment messages
  • 4.4.7. Trace messages
  • 4.4.8. Profiling messages
  • 4.4.9. Paths messages
  • 4.4.10. Error messages
  • 4.4.11. Warning messages