1. History

• 1.1. First Encounter with the Logic Mazes
• 1.2. Two Initial Scripts
• 1.3. First Version of LM-Solve
• 1.4. LM-Solve 0.4.0 and 0.6.0
• 1.5. No BitKeeper for you!
• 1.6. Recent Work

Written by Shlomi Fish