logiq 1.0.0

A logic SAT solver