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