2. A MiniZinc TutorialΒΆ
- 2.1. Basic Modelling in MiniZinc
- 2.2. More Complex Models
- 2.3. Predicates and Functions
- 2.4. Option Types
- 2.5. Search
- 2.6. Effective Modelling Practices in MiniZinc
- 2.7. Boolean Satisfiability Modelling in MiniZinc
- 2.8. FlatZinc and Flattening