lib:grisette

Modules

• Grisette
• Grisette.Backend.SBV
• Grisette.Backend.SBV.Data.SMT.Lowering
• Grisette.Backend.SBV.Data.SMT.Solving
• Grisette.Backend.SBV.Data.SMT.SymBiMap
• Grisette.Core
• Grisette.Core.BuiltinUnionWrappers
• Grisette.Core.Control.Exception
• Grisette.Core.Control.Monad.CBMCExcept
• Grisette.Core.Control.Monad.Class.MonadParallelUnion
• Grisette.Core.Control.Monad.Union
• Grisette.Core.Control.Monad.UnionM
• Grisette.Core.Data.BV
• Grisette.Core.Data.Class.BitVector
• Grisette.Core.Data.Class.Bool
• Grisette.Core.Data.Class.CEGISSolver
• Grisette.Core.Data.Class.Error
• Grisette.Core.Data.Class.Evaluate
• Grisette.Core.Data.Class.ExtractSymbolics
• Grisette.Core.Data.Class.Function
• Grisette.Core.Data.Class.GPretty
• Grisette.Core.Data.Class.GenSym
• Grisette.Core.Data.Class.Mergeable
• Grisette.Core.Data.Class.ModelOps
• Grisette.Core.Data.Class.SOrd
• Grisette.Core.Data.Class.SafeArith
• Grisette.Core.Data.Class.SimpleMergeable
• Grisette.Core.Data.Class.Solvable
• Grisette.Core.Data.Class.Solver
• Grisette.Core.Data.Class.Substitute
• Grisette.Core.Data.Class.ToCon
• Grisette.Core.Data.Class.ToSym
• Grisette.Core.Data.FileLocation
• Grisette.Core.Data.MemoUtils
• Grisette.Core.Data.Union
• Grisette.Core.TH
• Grisette.Core.THCompat
• Grisette.Experimental
• Grisette.Experimental.GenSymConstrained
• Grisette.IR.SymPrim
• Grisette.IR.SymPrim.Data.IntBitwidth
• Grisette.IR.SymPrim.Data.Prim.Helpers
• Grisette.IR.SymPrim.Data.Prim.InternedTerm.Caches
• Grisette.IR.SymPrim.Data.Prim.InternedTerm.InternedCtors
• Grisette.IR.SymPrim.Data.Prim.InternedTerm.SomeTerm
• Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term
• Grisette.IR.SymPrim.Data.Prim.InternedTerm.TermSubstitution
• Grisette.IR.SymPrim.Data.Prim.InternedTerm.TermUtils
• Grisette.IR.SymPrim.Data.Prim.Model
• Grisette.IR.SymPrim.Data.Prim.ModelValue
• Grisette.IR.SymPrim.Data.Prim.PartialEval.BV
• Grisette.IR.SymPrim.Data.Prim.PartialEval.Bits
• Grisette.IR.SymPrim.Data.Prim.PartialEval.Bool
• Grisette.IR.SymPrim.Data.Prim.PartialEval.GeneralFun
• Grisette.IR.SymPrim.Data.Prim.PartialEval.Integral
• Grisette.IR.SymPrim.Data.Prim.PartialEval.Num
• Grisette.IR.SymPrim.Data.Prim.PartialEval.PartialEval
• Grisette.IR.SymPrim.Data.Prim.PartialEval.TabularFun
• Grisette.IR.SymPrim.Data.Prim.PartialEval.Unfold
• Grisette.IR.SymPrim.Data.Prim.Utils
• Grisette.IR.SymPrim.Data.SymPrim
• Grisette.IR.SymPrim.Data.TabularFun
• Grisette.Internal.Backend.SBV
• Grisette.Internal.Core
• Grisette.Internal.IR.SymPrim
• Grisette.Lib.Base
• Grisette.Lib.Control.Monad
• Grisette.Lib.Control.Monad.Except
• Grisette.Lib.Control.Monad.Trans
• Grisette.Lib.Control.Monad.Trans.Cont
• Grisette.Lib.Data.Foldable
• Grisette.Lib.Data.List
• Grisette.Lib.Data.Traversable
• Grisette.Lib.Mtl
• Grisette.Qualified.ParallelUnionDo
• Grisette.Utils
• Grisette.Utils.Parameterized

Dependencies

• QuickCheck lib:QuickCheck >=2.13.2 && <2.15
• array lib:array >=0.5.4 && <0.6
• base lib:base >=4.14 && <5
• bytestring lib:bytestring >=0.10.12 && <0.13
• deepseq lib:deepseq >=1.4.4 && <1.6
• generic-deriving lib:generic-deriving >=1.14.1 && <1.15
• hashable lib:hashable >=1.2.3 && <1.5
• hashtables lib:hashtables >=1.2.3.4 && <1.4
• intern lib:intern >=0.9.2 && <0.10
• loch-th lib:loch-th >=0.2.2 && <0.3
• mtl lib:mtl >=2.2.2 && <2.4
• parallel lib:parallel >=3.2.2.0 && <3.3
• prettyprinter lib:prettyprinter >=1.5.0 && <1.8
• sbv lib:sbv >=8.11 && <10.3
• template-haskell lib:template-haskell >=2.16 && <2.21
• text lib:text >=1.2.4.1 && <2.2
• th-compat lib:th-compat >=0.1.2 && <0.2
• transformers lib:transformers >=0.5.6 && <0.7
• unordered-containers lib:unordered-containers >=0.2.11 && <0.3

Reverse dependencies

Direct only. Not exhaustive.

• grisette test:doctest
• grisette test:spec