 |
Overview
The Solitaire Game Solver was created by Mario Bittner,
Peter Reimann, and Patrick Schaffroth as a student
programming project.
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
file.
You may play the games online here
(Java-capable browser required) or download the sources from the link below.
Downloads
Contact
Please direct questions to
mckit@honolulu.informatik.uni-stuttgart.de.
Changes
- 16.07.2004: Version 1.0: Initial release
|
|
ss) |
© University of Stuttgart |
legal notice