util.sat.CNF
Free proposition.
Set of atoms found in the cone of influence of the expression.
Set of literals found in the cone of influence of the expression.
Free proposition.