Constraint Programming M
Home Page
News
Schedule
Contrib
Papers
Choco
Links
Exercises
MiniZinc
MiniZinc
MiniZinc web site
our files
MiniZinc tutorial
MiniZinc library
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
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!
Copyright ©
Patrick Prosser
2017.