util.sat
Propositional logic solely with negation, conjunction, disjunction and if-then-else.
Logical conjunction.
Free proposition.
Abstract base types for all Core expressions.
Logical conditional selection.
Logical negation.
Logical disjunction.
Translator from Prop to Core.
Creates a fresh uniquely identified atom.
Propositional logic solely with negation, conjunction, disjunction and if-then-else.