Data.SBV.Bridge.MathSAT

MathSAT specific interface

sbvCurrentSolver

Proving, checking satisfiability, optimization

prove

sat

allSat

safe

optimize

isVacuous

isTheorem

isSatisfiable

Non-MathSAT specific SBV interface