Expand description
Core propositional formula satisfiability solver using the tableaux construction method.
Modulesยง
- formula
- Abstract syntax tree representation of a well-formed propositional formula.
- tableaux_
solver - Propositional formula satisfiability solver using the Propositional Tableaux method.