Hoogle Search
Within LTS Haskell 24.34 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
setInfo :: SolverContext m => String -> [String] -> m ()sbv Data.SBV Set info. Example: setInfo ":status" ["unsat"].
setLogic :: SolverContext m => Logic -> m ()sbv Data.SBV Set the logic.
setOption :: SolverContext m => SMTOption -> m ()sbv Data.SBV Set an option.
setTimeOut :: SolverContext m => Integer -> m ()sbv Data.SBV Set a solver time-out value, in milli-seconds. This function essentially translates to the SMTLib call (set-info :timeout val), and your backend solver may or may not support it! The amount given is in milliseconds. Also see the function timeOut for finer level control of time-outs, directly from SBV.
setInfo :: SolverContext m => String -> [String] -> m ()sbv Data.SBV.Internals Set info. Example: setInfo ":status" ["unsat"].
setLogic :: SolverContext m => Logic -> m ()sbv Data.SBV.Internals Set the logic.
setOption :: SolverContext m => SMTOption -> m ()sbv Data.SBV.Internals Set an option.
setTimeOut :: SolverContext m => Integer -> m ()sbv Data.SBV.Internals Set a solver time-out value, in milli-seconds. This function essentially translates to the SMTLib call (set-info :timeout val), and your backend solver may or may not support it! The amount given is in milliseconds. Also see the function timeOut for finer level control of time-outs, directly from SBV.
setup :: Program st -> Symbolic ()sbv Data.SBV.Tools.WeakestPreconditions Any set-up required
setBitTo :: SFiniteBits a => SBV a -> Int -> SBool -> SBV asbv Data.SBV.Trans A combo of setBit and clearBit, when the bit to be set is symbolic.