LM-Solve Links

Project Resources

• The Freshmeat Project's Record
• The Subversion Repository of the Project

Logic Mazes

• The Logic Mazes site
• Andrea Glibert's Click-Mazes - more mazes.
• Yoah Bar-David's site - contains applets for constructing and solving Alice Mazes and Minotaur Mazes.

Articles

• Solving Puzzles with LM-Solve - how to extend LM-Solve to solve a new puzzle.