Crate libprop_sat_solver

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.