https://github.com/glguy/5puzzle

Puzzle solutions by encoding to SAT with Ersatz
https://github.com/glguy/5puzzle

Last synced: 3 months ago
JSON representation

Puzzle solutions by encoding to SAT with Ersatz

• Host: GitHub
• URL: https://github.com/glguy/5puzzle
• Owner: glguy
• License: isc
• Created: 2016-05-20T18:16:11.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2022-07-20T21:25:42.000Z (over 2 years ago)
• Last Synced: 2024-05-08T20:15:30.939Z (8 months ago)
• Language: Haskell
• Homepage:
• Size: 130 KB
• Stars: 7
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project