util.sat.Core
Translator from Prop to Core.
Translates the given Prop expression to an equivalent Core expression.
Returns the translation cache over atoms.
Returns the translation cache over all subexpressions.
Translator from Prop to Core.