Hermod.ReCon.Presburger.Decide
eval :: Formula -> Bool Source #
Decide a closed Formula by eliminating all quantifiers and evaluating the resulting ground QuantifierFree formula.
quote :: Bool -> Formula Source #
Embed a Bool into Formula.