A MiniZinc Tutorial

1 Introduction
2 Basic Modelling in MiniZinc
	2.1 Our First Example
	2.2 An Arithmetic Optimisation Example
	2.3 Datafiles and Assertions
	2.4 Real Number Solving
	2.5 Basic structure of a model
3 More Complex Models
	3.1 Arrays and Sets
	3.2 Global Constraints
	3.3 Conditional Expressions
	3.4 Complex Constraints
	3.5 Set Constraints
	3.6 Enumerated Types
4 Predicates
	4.1 Global Constraints
		4.1.1 Alldifferent
		4.1.2 Cumulative
		4.1.3 Table
		4.1.4 Regular
	4.2 Defining Predicates
	4.3 Reflection Functions
	4.4 Local Variables
	4.5 Domain Reflection Functions
	4.6 Scope
5 Search
	5.1 Finite Domain Search
	5.2 Search Annotations
	5.3 Annotations
6 Effective Modelling Practices in MiniZinc
	6.1 Variable Bounds
	6.2 Unconstrained Variables
	6.3 Effective Generators
	6.4 Redundant Constraints
	6.5 Modelling Choices
	6.6 Multiple Modelling and Channels
7 Boolean Satisfiability Modelling in MiniZinc
	7.1 Modelling Integers
	7.2 Modelling Disequality
	7.3 Modelling Cardinality
A MiniZinc Keywords
B MiniZinc Operators
C MiniZinc Functions