logiq 0.1.0

A logic SAT solver
Documentation