util.sat.CNF
Abstract trait for expressions in CNF.
Set of atoms found in the cone of influence of the expression.
Set of literals found in the cone of influence of the expression.
Abstract trait for expressions in CNF.