logic-solver (npm): General satisfiability solver for logic problems
Keywords: sat|solver|logic|constraint