logiq 1.0.1

A logic SAT solver