Data.SBV.Bridge.Boolector

CVC4 specific interface

sbvCurrentSolver

Proving and checking satisfiability

prove

sat

allSat

isVacuous

isTheorem

isSatisfiable

Optimization routines

optimize

minimize

maximize

Non-Boolector specific SBV interface