JaCoP is open source and can be fetched from Download JaCoP.

Download via SourceForge: jacop-solver.

Explanation and references are in each specific file. Many of these models are translated from my MiniZinc models. Please note that some of the models use the helper class HakankUtil.java.

- CoinsGrid.java: Coins grid problem from Tony Hürlimann: "A coin puzzle - SVOR-contest 2007".
- CrossWord.java: Crossword (standard CP problem)

- 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.
- HakankUtil.java: some utilities. Is needed for some of these models.
- LeastDiff.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:

- Seseman.java: Seseman convent problem, a simple recreational mathematics puzzle.
- SurvoPuzzle.java: Survo puzzle.

Problem files:

- WhoKilledAgatha.java: Who killed agatha? (The Dreadsbury Mansion Murder Mystery, a automated reasoning problem).
- WhoKilledAgatha_element.java: Who killed agatha? (The Dreadsbury Mansion Murder Mystery, a automated reasoning problem). This version uses Element (with transposed matrices).
- WordSquare.java: Word square: fill a square matrix with words. Reads from a word list file (
`/usr/dict/words`

). - YoungTableuax.java: Young tableaux and partitions

Some of my models has been collected at my JaCoP/Scala page.

Also see My Constraint Programming Blog, and

* Common constraint programming problems

* MiniZinc page

* My Zinc page

* My Choco page

* My Gecode/R page

* My Comet page

* My Gecode page

* My ECLiPSe page

* My Tailor/Essence' page

* My SICStus Prolog page

* My Google CP Solver page

* My OscaR page

* My JSR-331 page

* My Numberjack page

* My AIMMS+CP page

* My B-Prolog page

* My Choco3 page

* My Picat page

Back to my homepage

Created by Hakan Kjellerstrand hakank@gmail.com