Intelligent Systems 1

General Resources

• MiniZinc Software
• Coursera class on constraint modelling

Lectures

• Constraint modelling lecture
  Constraint modelling laboratory
  Resources :
1. sudoku.mzn
2. paris-color-skeleton.mzn: Code skeleton for the map coloring problem.
3. paris-color.mzn: solution
4. abbot.mzn
5. cheater.mzn and cheater-bool.mzn
6. paris-color-opti.mzn
7. paris-color-array.mzn
8. nqueens.mzn
9. bics-party.mzn, bics-party.dzn, bics-party2.dzn