Logo
2.7.0
The MiniZinc Handbook
  • 1. Overview
  • 2. A MiniZinc Tutorial
  • 3. User Manual
  • 4. Reference Manual
    • 4.1. Specification of MiniZinc
    • 4.2. The MiniZinc library
    • 4.3. Interfacing Solvers to Flatzinc
    • 4.4. Machine-readable JSON output format
The MiniZinc Handbook
  • Docs »
  • 4. Reference Manual

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.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
  • 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
Next Previous

© Copyright 2016, 2017, 2018, 2019, 2020 Peter J. Stuckey, Kim Marriott, Guido Tack.

Creative Commons License