• choco



• gerald + donald = robert
  • code
  • slides
• The nonogram problem
  • The cspLib entry prob012
  • The Griddler's web page
  • A choco solver nono.cl
• The N-queens
  • We present 3 encodings of the n-queens problem, where we are to place n non-attacking queens on an n by n chess board.
• Jobshop scheduling.
  • An introduction to constraint programming and jobshop scheduling
  • Choco code to minimise makespan sched.cl
  • Sample data sets are here
• Number partitioning
  • Choco code numPart.cl
  • Sample data sets are np10 and np40
  • Some slides on the problem
  • Links to number partitioning
  • A compendium of NP optimization problems
  • Stephan Mertens home page
• Golomb Ruler
  • Toby's Padova slides
  • Patrick's Golomb slides
  • Choco golomb.cl
  • The heart of the matter: allDiff.cl and a description of allDiff by Toby here
• Magic Square
  • Patrick's slides on magic square