Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

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

Exact lookup

1. boolExpr :: SupportTermOps v => Bool -> v

   what4	What4.Protocol.SMTWriter

   No documentation available.

2. boolectorAdapter :: forall (st :: Type -> Type) . SolverAdapter st

   what4	What4.Solver

   No documentation available.

3. boolectorFeatures :: ProblemFeatures

   what4	What4.Solver

   No documentation available.

4. boolectorOptions :: [ConfigDesc]

   what4	What4.Solver

   No documentation available.

5. boolectorPath :: ConfigOption (BaseStringType Unicode)

   what4	What4.Solver

   Path to boolector

6. boolectorTimeout :: ConfigOption BaseIntegerType

   what4	What4.Solver

   Per-check timeout, in milliseconds (zero is none)

7. boolectorAdapter :: forall (st :: Type -> Type) . SolverAdapter st

   what4	What4.Solver.Boolector

   No documentation available.

8. boolectorFeatures :: ProblemFeatures

   what4	What4.Solver.Boolector

   No documentation available.

9. boolectorOptions :: [ConfigDesc]

   what4	What4.Solver.Boolector

   No documentation available.

10. boolectorPath :: ConfigOption (BaseStringType Unicode)

    what4	What4.Solver.Boolector

    Path to boolector

Page 61 of many | Previous | Next