propsatPropositional Satisfiability CheckerpropositionalBooleanlogicresolutiontableauxsatisfiabilitygenetic algorithmwalksat2.1.0 • Published 11 months ago