Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. ProduceUnsatAssumptions :: Bool -> SMTOption

   sbv	Data.SBV.Control

   No documentation available.

2. ProduceUnsatCores :: Bool -> SMTOption

   sbv	Data.SBV.Control

   No documentation available.

3. ParetoResult :: (Bool, [SMTResult]) -> OptimizeResult

   sbv	Data.SBV.Dynamic

   No documentation available.

4. ProofError :: SMTConfig -> [String] -> Maybe SMTResult -> SMTResult

   sbv	Data.SBV.Dynamic

   Prover errored out, with possibly a bogus result

5. data PBOp

   sbv	Data.SBV.Internals

   Pseudo-boolean operations

6. PB_AtLeast :: Int -> PBOp

   sbv	Data.SBV.Internals

   At least k

7. PB_AtMost :: Int -> PBOp

   sbv	Data.SBV.Internals

   At most k

8. PB_Eq :: [Int] -> Int -> PBOp

   sbv	Data.SBV.Internals

   Exactly k, with coefficients given. Generalized PB_Exactly

9. PB_Exactly :: Int -> PBOp

   sbv	Data.SBV.Internals

   Exactly k

10. PB_Ge :: [Int] -> Int -> PBOp

    sbv	Data.SBV.Internals

    At least k, with coefficients given. Generalizes PB_AtLeast

Page 992 of many | Previous | Next