lib:grisette

Modules

• Grisette
• Grisette.Backend
• Grisette.Core
• Grisette.Experimental
• Grisette.Experimental.GenSymConstrained
• Grisette.Experimental.MonadParallelUnion
• Grisette.Experimental.Qualified.ParallelUnionDo
• Grisette.Internal.Backend.Solving
• Grisette.Internal.Backend.SymBiMap
• Grisette.Internal.Core.Control.Exception
• Grisette.Internal.Core.Control.Monad.CBMCExcept
• Grisette.Internal.Core.Control.Monad.Union
• Grisette.Internal.Core.Control.Monad.UnionM
• Grisette.Internal.Core.Data.Class.BitVector
• Grisette.Internal.Core.Data.Class.CEGISSolver
• Grisette.Internal.Core.Data.Class.Error
• Grisette.Internal.Core.Data.Class.EvaluateSym
• Grisette.Internal.Core.Data.Class.ExtractSymbolics
• Grisette.Internal.Core.Data.Class.Function
• Grisette.Internal.Core.Data.Class.GPretty
• Grisette.Internal.Core.Data.Class.GenSym
• Grisette.Internal.Core.Data.Class.ITEOp
• Grisette.Internal.Core.Data.Class.LogicalOp
• Grisette.Internal.Core.Data.Class.Mergeable
• Grisette.Internal.Core.Data.Class.ModelOps
• Grisette.Internal.Core.Data.Class.PlainUnion
• Grisette.Internal.Core.Data.Class.SEq
• Grisette.Internal.Core.Data.Class.SOrd
• Grisette.Internal.Core.Data.Class.SafeDivision
• Grisette.Internal.Core.Data.Class.SafeLinearArith
• Grisette.Internal.Core.Data.Class.SafeSymRotate
• Grisette.Internal.Core.Data.Class.SafeSymShift
• Grisette.Internal.Core.Data.Class.SignConversion
• Grisette.Internal.Core.Data.Class.SimpleMergeable
• Grisette.Internal.Core.Data.Class.Solvable
• Grisette.Internal.Core.Data.Class.Solver
• Grisette.Internal.Core.Data.Class.SubstituteSym
• Grisette.Internal.Core.Data.Class.SymRotate
• Grisette.Internal.Core.Data.Class.SymShift
• Grisette.Internal.Core.Data.Class.ToCon
• Grisette.Internal.Core.Data.Class.ToSym
• Grisette.Internal.Core.Data.Class.TryMerge
• Grisette.Internal.Core.Data.MemoUtils
• Grisette.Internal.Core.Data.Symbol
• Grisette.Internal.Core.Data.Union
• Grisette.Internal.Core.TH.MergeConstructor
• Grisette.Internal.SymPrim.AllSyms
• Grisette.Internal.SymPrim.BV
• Grisette.Internal.SymPrim.GeneralFun
• Grisette.Internal.SymPrim.IntBitwidth
• Grisette.Internal.SymPrim.ModelRep
• Grisette.Internal.SymPrim.Prim.Internal.Caches
• Grisette.Internal.SymPrim.Prim.Internal.Instances.BVPEval
• Grisette.Internal.SymPrim.Prim.Internal.Instances.PEvalBitwiseTerm
• Grisette.Internal.SymPrim.Prim.Internal.Instances.PEvalDivModIntegralTerm
• Grisette.Internal.SymPrim.Prim.Internal.Instances.PEvalNumTerm
• Grisette.Internal.SymPrim.Prim.Internal.Instances.PEvalOrdTerm
• Grisette.Internal.SymPrim.Prim.Internal.Instances.PEvalRotateTerm
• Grisette.Internal.SymPrim.Prim.Internal.Instances.PEvalShiftTerm
• Grisette.Internal.SymPrim.Prim.Internal.Instances.SupportedPrim
• Grisette.Internal.SymPrim.Prim.Internal.IsZero
• Grisette.Internal.SymPrim.Prim.Internal.PartialEval
• Grisette.Internal.SymPrim.Prim.Internal.Term
• Grisette.Internal.SymPrim.Prim.Internal.Unfold
• Grisette.Internal.SymPrim.Prim.Internal.Utils
• Grisette.Internal.SymPrim.Prim.Model
• Grisette.Internal.SymPrim.Prim.ModelValue
• Grisette.Internal.SymPrim.Prim.SomeTerm
• Grisette.Internal.SymPrim.Prim.Term
• Grisette.Internal.SymPrim.Prim.TermUtils
• Grisette.Internal.SymPrim.SomeBV
• Grisette.Internal.SymPrim.SymBV
• Grisette.Internal.SymPrim.SymBool
• Grisette.Internal.SymPrim.SymGeneralFun
• Grisette.Internal.SymPrim.SymInteger
• Grisette.Internal.SymPrim.SymTabularFun
• Grisette.Internal.SymPrim.TabularFun
• Grisette.Internal.Utils.Parameterized
• Grisette.Lib.Base
• Grisette.Lib.Control.Applicative
• Grisette.Lib.Control.Monad
• Grisette.Lib.Control.Monad.Except
• Grisette.Lib.Control.Monad.State.Class
• Grisette.Lib.Control.Monad.Trans
• Grisette.Lib.Control.Monad.Trans.Class
• Grisette.Lib.Control.Monad.Trans.Cont
• Grisette.Lib.Control.Monad.Trans.Except
• Grisette.Lib.Control.Monad.Trans.State
• Grisette.Lib.Control.Monad.Trans.State.Lazy
• Grisette.Lib.Control.Monad.Trans.State.Strict
• Grisette.Lib.Data.Bool
• Grisette.Lib.Data.Either
• Grisette.Lib.Data.Foldable
• Grisette.Lib.Data.Functor
• Grisette.Lib.Data.Functor.Sum
• Grisette.Lib.Data.List
• Grisette.Lib.Data.Maybe
• Grisette.Lib.Data.Traversable
• Grisette.Lib.Data.Tuple
• Grisette.SymPrim
• Grisette.Utils

Dependencies

• QuickCheck lib:QuickCheck >=2.14 && <2.16
• array lib:array >=0.5.4 && <0.6
• async lib:async >=2.2.2 && <2.3
• 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 && <11
• stm lib:stm >=2.5 && <2.6
• template-haskell lib:template-haskell >=2.16 && <2.22
• 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