@hackage / what4

Solver-agnostic symbolic values support for issuing queries

Latest1.7.3

Dependencies

library:what4 (44 dependencies)

@hackage / time A time library
- Version: >=1.8 && <1.15
- License: BSD-2-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version: >=1.2.2
- License: BSD-3-Clause
@hackage / fingertree Generic finger-tree structure, with example instances
- Version: >=0.1.4
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.10
- License: BSD-3-Clause
@hackage / parsec Monadic parser combinators
- Version: >=3 && <4
- License: BSD-2-Clause
@hackage / bimap Bidirectional mapping between two key types
- Version: >=0.2
- License: BSD-3-Clause
@hackage / BoundedChan Implementation of bounded channels.
- Version: >=1 && <2
- License: BSD-3-Clause
@hackage / prettyprinter A modern, easy to use, well-documented, extensible pretty-printer.
- Version: >=1.7.0
- License: BSD-2-Clause
@hackage / concurrent-extra Extra concurrency primitives
- Version: >=0.7 && <0.8
- License: BSD-3-Clause
@hackage / deepseq Deep evaluation of data structures
- Version: >=1.3
- License: BSD-3-Clause
@hackage / libBF A binding to the libBF library.
- Version: >=0.6 && <0.7
- License: MIT
@hackage / template-haskell Support library for Template Haskell
- Version:
- License: BSD-3-Clause
@hackage / exceptions Extensible optionally-pure exceptions
- Version: >=0.10
- License: BSD-3-Clause
@hackage / lens Lenses, Folds and Traversals
- Version: >=4.18
- License: BSD-2-Clause
@hackage / th-lift Derive Template Haskell's Lift class for datatypes.
- Version: >=0.8.2 && <0.9
- License: BSD-3-Clause
@hackage / hashable A class for types that can be converted to a hash value
- Version: >=1.3
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: >=1.2.4.0 && <2.2
- License: BSD-2-Clause
@hackage / hashtables Mutable hash tables in the ST monad
- Version: >=1.2.3
- License: BSD-3-Clause
@hackage / bifunctors Bifunctors
- Version: >=5
- License: BSD-3-Clause
@hackage / megaparsec Monadic parser combinators
- Version: >=8 && <10
- License: BSD-2-Clause
@hackage / deriving-compat Backports of GHC deriving extensions
- Version: >=0.5
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.2.1
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.4
- License: BSD-3-Clause
@hackage / th-lift-instances Lift instances for template-haskell for common data types.
- Version: >=0.1 && <0.2
- License: BSD-3-Clause
@hackage / stm Software Transactional Memory
- Version:
- License: BSD-3-Clause
@hackage / ordered-containers Set- and Map-like types that remember the order elements were inserted
- Version: >=0.2 && <0.3
- License: BSD-3-Clause
@hackage / zenc GHC style name Z-encoding and Z-decoding
- Version: >=0.1.0 && <0.2.0
- License: BSD-3-Clause
@hackage / parameterized-utils Classes and data structures for working with data-kind indexed types
- Version: >=2.1 && <2.2
- License: BSD-3-Clause
@hackage / bv-sized a bitvector datatype that is parameterized by the vector width
- Version: >=1.0.0
- License: BSD-3-Clause
@hackage / vector Efficient Arrays
- Version: >=0.12.1
- License: BSD-3-Clause
@hackage / s-cargot A flexible, extensible s-expression library.
- Version: >=0.1 && <0.2
- License: BSD-3-Clause
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version: >=1.3
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5.0.0
- License: BSD-3-Clause
@hackage / unliftio The MonadUnliftIO typeclass for unlifting monads to IO (batteries included)
- Version: >=0.2 && <0.3
- License: MIT
@hackage / unordered-containers Efficient hashing-based container types
- Version: >=0.2.10
- License: BSD-3-Clause
@hackage / versions Types and parsers for software version numbers.
- Version: >=6.0.2 && <6.1
- License: BSD-3-Clause
@hackage / config-value Simple, layout-based value language similar to YAML or JSON
- Version: >=0.8 && <0.9
- License: MIT
@hackage / base Core data structures and operations
- Version: >=4.10 && <5
- License: BSD-3-Clause
@hackage / process Process libraries
- Version: >=1.2
- License: BSD-3-Clause
@hackage / panic A convenient way to panic.
- Version: >=0.3
- License: ISC
@hackage / async Run IO operations asynchronously and wait for their results
- Version:
- License: BSD-3-Clause
@hackage / io-streams Simple, composable, and easy-to-use stream I/O
- Version: >=1.5
- License: BSD-3-Clause
@hackage / scientific Numbers represented using scientific notation
- Version: >=0.3.6
- License: BSD-3-Clause
@hackage / attoparsec Fast combinator parsing for bytestrings and text
- Version: >=0.13
- License: BSD-3-Clause

executable:bool-normalization (10 dependencies)

executable:quickstart (3 dependencies)

test:abduct (7 dependencies)

test:adapter-test (14 dependencies)

test:bvdomain_tests (7 dependencies)

test:bvdomain_tests_hh (7 dependencies)

test:config-test (9 dependencies)

test:expr-builder-smtlib2 (17 dependencies)

test:exprs_tests (10 dependencies)

test:invariant-synthesis (8 dependencies)

test:iteexprs_tests (9 dependencies)

test:online-solver-test (20 dependencies)

test:printer-test (6 dependencies)

test:solver_parsing_tests (11 dependencies)

test:template_tests (9 dependencies)

test:what4-serialize-tests (14 dependencies)