Data.SBV.Bridge.Z3
sbvCurrentSolver
prove
sat
safe
allSat
isVacuous
isTheorem
isSatisfiable
optimize
minimize
maximize