propsat (npm): Propositional Satisfiability Checker
Keywords: propositional|Boolean|logic|resolution|tableaux|satisfiability|genetic algorithm|walksat