[−][src]Module libprop_sat_solver::tableaux_solver::theory
A Theory is a set of alternative PropositionalFormulas, which corresponds to a branch in a
tableau tree.
Structs
| Theory | A |
A Theory is a set of alternative PropositionalFormulas, which corresponds to a branch in a
tableau tree.
| Theory | A |