• MiniZinc
  • MiniZinc web site 
  • our files
  • MiniZinc tutorial
  • MiniZinc library
  • The wizard that is Peter Stuckey
  • The Holy Grail of AI
• First Simple Examples
  • Start 2018
• The Crystal Maze
  • We present a simple encoding of the crystal maze problem
• Managing a fruit shop (enumerated types, maximization)
  • Maximizing profit
• Production Planning (supply and demand, for an army)
  • Production planning
• Workforce management (part1)
  • Rota for security guards
• Clique and Colouring: an exercise and empirical study
  • clique and colour
• Sequencing and scheduling: meeting demand, patterns (regular, exactly and at_most constraint)
  • Abarth 595 paint shop
  • Nurse rostering
• Controlling Temperature: a planning/control problem
  • A control problem
• A small travelling salesman problem (small TSP)
  • Small TSP
• The vehicle routing problem (vrp)
  • cvrp & cvrptw
• Subgraph Isomorphism (SIP)
  • A hard graph problem?
• School Timetabling (really hard)
  • Building blocks!