Data.SBV.Bridge.MathSAT

MathSAT specific interface

sbvCurrentSolver

Proving, checking satisfiability, and safety

prove

sat

safe

allSat

isVacuous

isTheorem

isSatisfiable

Optimization routines

optimize

minimize

maximize

Non-MathSAT specific SBV interface