2-sat (npm): 2SAT solver
Keywords: 2SAT|2|satisfiability|boolean|nl|complete