logic-solver

General satisfiability solver for logic problems