libprop_sat_solver::tableaux_solver

Module tableau

Expand description

A Tableau is a collection of Theory-ies. This corresponds to the entire propositional tableau tree, where each Theory is a branch (from the root node to each leaf).

Structs§

Tableau: A Tableau is a collection of Theory-ies. This corresponds to the entire propositional tableau tree, where each Theory is a branch (from the root node to each leaf).