The Solitaire Game Solver was created by Mario Bittner,
Peter Reimann, and Patrick Schaffroth as a student
It offers two classic solitaire games, Peg Solitaire and the 15-puzzle.
You may either play the games on your own, ask the computer for help,
or even play against the computer.
The solver uses tools from the Model-Checking Kit
to compute the solutions.
More information can be found in the README
You may play the games online here
(Java-capable browser required) or download the sources from the link below.
Please direct questions to
- 16.07.2004: Version 1.0: Initial release