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