Skip to content
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
17 lines (12 sloc) 582 Bytes

Everyday Sat

My ultimate revenge to the naughty puzzles I couldn't solve as a child.


This repository uses Cafesat, a SAT solver written in Scala. Given a (complex) boolean equation, it tries to find a solution that satisfies it. Most logic based puzzles can be translated to boolean logic and solved this way, as long as the instance size is reasonable.


You can’t perform that action at this time.