The latest version of what4 is 1.6.2-0.
lib:what4
Modules
- Test.Verification
- What4.BaseTypes
- What4.Concrete
- What4.Config
- What4.Expr
- What4.Expr.Allocator
- What4.Expr.App
- What4.Expr.AppTheory
- What4.Expr.ArrayUpdateMap
- What4.Expr.BoolMap
- What4.Expr.Builder
- What4.Expr.GroundEval
- What4.Expr.MATLAB
- What4.Expr.Simplify
- What4.Expr.StringSeq
- What4.Expr.UnaryBV
- What4.Expr.VarIdentification
- What4.Expr.WeightedSum
- What4.FloatMode
- What4.FunctionName
- What4.IndexLit
- What4.Interface
- What4.InterpretedFloatingPoint
- What4.LabeledPred
- What4.Panic
- What4.Partial
- What4.ProblemFeatures
- What4.ProgramLoc
- What4.Protocol.Online
- What4.Protocol.PolyRoot
- What4.Protocol.ReadDecimal
- What4.Protocol.SExp
- What4.Protocol.SMTLib2
- What4.Protocol.SMTLib2.Parse
- What4.Protocol.SMTLib2.Response
- What4.Protocol.SMTLib2.Syntax
- What4.Protocol.SMTWriter
- What4.Protocol.VerilogWriter
- What4.Protocol.VerilogWriter.ABCVerilog
- What4.Protocol.VerilogWriter.AST
- What4.Protocol.VerilogWriter.Backend
- What4.SFloat
- What4.SWord
- What4.SatResult
- What4.SemiRing
- What4.Solver
- What4.Solver.Adapter
- What4.Solver.Boolector
- What4.Solver.CVC4
- What4.Solver.DReal
- What4.Solver.ExternalABC
- What4.Solver.STP
- What4.Solver.Yices
- What4.Solver.Z3
- What4.SpecialFunctions
- What4.Symbol
- What4.Utils.AbstractDomains
- What4.Utils.AnnotatedMap
- What4.Utils.Arithmetic
- What4.Utils.BVDomain
- What4.Utils.BVDomain.Arith
- What4.Utils.BVDomain.Bitwise
- What4.Utils.BVDomain.XOR
- What4.Utils.Complex
- What4.Utils.Endian
- What4.Utils.Environment
- What4.Utils.FloatHelpers
- What4.Utils.HandleReader
- What4.Utils.IncrHash
- What4.Utils.LeqMap
- What4.Utils.MonadST
- What4.Utils.OnlyIntRepr
- What4.Utils.Process
- What4.Utils.ResolveBounds.BV
- What4.Utils.Streams
- What4.Utils.StringLiteral
- What4.Utils.Versions
- What4.Utils.Word16String
- What4.WordMap
Dependencies
- async lib:async >=0
- attoparsec lib:attoparsec >=0.13
- base lib:base >=4.8 && <5
- bifunctors lib:bifunctors >=5
- bimap lib:bimap >=0.2
- bv-sized lib:bv-sized >=1.0.0
- bytestring lib:bytestring >=0.10
- concurrent-extra lib:concurrent-extra >=0.7 && <0.8
- config-value lib:config-value >=0.8 && <0.9
- containers lib:containers >=0.5.0.0
- data-binary-ieee754 lib:data-binary-ieee754 >=0
- deepseq lib:deepseq >=1.3
- deriving-compat lib:deriving-compat >=0.5
- directory lib:directory >=1.2.2
- exceptions lib:exceptions >=0.10
- filepath lib:filepath >=1.3
- fingertree lib:fingertree >=0.1.4
- ghc-prim lib:ghc-prim >=0.5.2
- hashable lib:hashable >=1.3
- hashtables lib:hashtables >=1.2.3
- io-streams lib:io-streams >=1.5
- lens lib:lens >=4.18
- libBF lib:libBF >=0.6 && <0.7
- mtl lib:mtl >=2.2.1
- panic lib:panic >=0.3
- parameterized-utils lib:parameterized-utils >=2.1 && <2.2
- prettyprinter lib:prettyprinter >=1.7.0
- process lib:process >=1.2
- scientific lib:scientific >=0.3.6
- template-haskell lib:template-haskell >=0
- temporary lib:temporary >=1.2
- text lib:text >=1.2.4.0 && <1.3
- th-abstraction lib:th-abstraction >=0.1 && <0.5
- th-lift lib:th-lift >=0.8.2 && <0.9
- th-lift-instances lib:th-lift-instances >=0.1 && <0.2
- transformers lib:transformers >=0.4
- unordered-containers lib:unordered-containers >=0.2.10
- utf8-string lib:utf8-string >=1.0.1
- vector lib:vector >=0.12.1
- versions lib:versions >=4.0 && <6.0
- zenc lib:zenc >=0.1.0 && <0.2.0
Reverse dependencies
Direct only. Not exhaustive.