Bild mit Unilogo
homeicon university sucheicon search siteicon sitemap kontakticon contact impressicon legal notice
unilogo University of Stuttgart 
Institute of Formal Methods in Computer Science

Solitaire Game Solver



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.



Please direct questions to


  • 16.07.2004: Version 1.0: Initial release