Home Research Teaching Contact
Home Research Teaching Contact
Home Research Teaching Contact

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
Copyright © 2017—Pierre Talbot