Search results

propsat

Propositional Satisfiability Checker

• propositional
• Boolean
• logic
• resolution
• tableaux
• satisfiability
• genetic algorithm
• walksat

mafu

published 2.1.0 • a year agopublished 2.1.0 a year ago