My Choco page

• Download
• Documentation
• News
• FAQ
• Forum at SourceForge Help, Open Discussion

My Choco models

• AllDifferentExcept0_test.java: Decomposition of global constraint alldifferent_except_0.
• CoinsGrid.java: Coins grid problem from Tony Hürlimann: "A coin puzzle - SVOR-contest 2007".
• CrossWord.java: Cross word (simple CLP example).
• CrossWord2.java: Cross word (simple CLP example) with some extra constraints.
• DeBruijn.java: de Bruijn sequences, both "normal" and "arbitrary".
  Usage: java DeBruijn base n (m)
  where base is the base to work with, n is the "bit length" and m the optional length of the sequence (default length is base^n).
• Diet.java: Simple diet problem.
• FurnitureMoving.java: Simple task optimization using cumulative.
• LeastDiff2.java: Least diff problem, an alphametic puzzle, minimize the difference ABCDE-FGHIJ where A..J is integers 0..9 (all different)
• MineSweeper.java: Minesweeper problem.
  Problem files for the Minesweeper program.
  Usage: java Minesweeper problem file
  
  • Problem 0 from Gecode minesweeper.cc
  • Problem 1 from Gecode minesweeper.cc
  • Problem 2 from Gecode minesweeper.cc
  • Problem 3 from Gecode minesweeper.cc
  • Problem 4 from Gecode minesweeper.cc
  • Problem 5 from Gecode minesweeper.cc
  • Problem 6 from Gecode minesweeper.cc
  • Problem 7 from Gecode minesweeper.cc
  • Problem 8 from Gecode minesweeper.cc
  • Problem 9 from Gecode minesweeper.cc
  • From "Some Minesweeper Configurations",page 2
  • From "Some Minesweeper Configurations",page 3
  • From Richard Kaye: How Complicated is Minesweeper?, splitter (131072 solutions)
  • From Richard Kaye: How Complicated is Minesweeper?, wire
• QuasigroupCompletion.java: Quasigroup completion problem.
  Problem files:
  
  • quasigroup1.txt
  • quasigroup2.txt
  • quasigroup3.txt
  • quasigroup4.txt
  • quasigroup5.txt
  • quasigroup6.txt
  • quasigroup7.txt
  • quasigroup8.txt
  • quasigroup9.txt
• Seseman.java: Seseman convent problem, a simple recreational mathematics puzzle.
• SurvoPuzzle.java: Survo puzzle.
  Problem files:
  
  • survo_puzzle_126_2008.txt
  • survo_puzzle_127_2008.txt
  • survo_puzzle_128_2008.txt
• WhoKilledAgatha.java: Who killed agatha? (The Dreadsbury Mansion Murder Mystery, an automated reasoning problem.
• WhoKilledAgatha_element.java: Who killed agatha? (The Dreadsbury Mansion Murder Mystery, an automated reasoning problem. This version uses the nth constraint (Element) and transposed matrices.
• WordSquare.java: Word square: square matrix cross words (fill the whole square with unique words).
• YoungTableuax.java: Young tableaux and partitions