{-# OPTIONS_GHC -Wno-missing-import-lists #-}
module Grisette.Backend
(
ApproximationConfig (..),
ExtraConfig (..),
precise,
approx,
withTimeout,
clearTimeout,
withApprox,
clearApprox,
GrisetteSMTConfig (..),
SBV.SMTConfig (..),
SBV.boolector,
SBV.cvc4,
SBV.yices,
SBV.dReal,
SBV.z3,
SBV.mathSAT,
SBV.abc,
SBV.Timing (..),
)
where
import qualified Data.SBV as SBV
import Grisette.Internal.Backend.Solving
( ApproximationConfig (..),
ExtraConfig (..),
GrisetteSMTConfig (..),
approx,
clearApprox,
clearTimeout,
precise,
withApprox,
withTimeout,
)