plpgenPropositional Logic Problem GeneratorpropositionalBooleanlogicsatisfiabilityproblem generatorSudoku1.0.0 • Published 6 years ago