acheron 0.1.0

A simple SAT solver
Documentation