plpgen (npm): Propositional Logic Problem Generator
Keywords: propositional|Boolean|logic|satisfiability|problem generator|Sudoku