5puzzle

Puzzle solutions by encoding to SAT with Ersatz
Popular Encoding Projects
Popular Puzzle Projects
Popular Data Formats Categories
Related Searches

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Haskell
Encoding
Puzzle