Here you will find all handouts given out during the course

MiniZinc Resources

Previous Exams

Constraint programming subjects before 2008 taught constraint programming using Sicstus Prolog, and covered material that we dont cover on: constraint logic programming, solving algorithms, projection algorithms. We cover new material on: network flow, mixed integer programming Boolean satisfiability, lazy clause generation and of course modelling in MiniZinc.


Constraint Programming Resources

Remote access