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.3. Interfacing Solvers to Flatzinc
- 4.4. Machine-readable JSON output format