Skip to content
Solving some puzzles with Cafesat.
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
lib
project
src/main/scala/everydaysat
.gitignore
LICENSE
README.md
build.sbt

README.md

Everyday Sat

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

How?

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.

Puzzles

You can’t perform that action at this time.