@hackage / crucible

Crucible is a library for language-agnostic symbolic simulation

Latest0.9

Dependencies

library:crucible (22 dependencies)

@hackage / exceptions Extensible optionally-pure exceptions
- Version:
- License: BSD-3-Clause
@hackage / what4 Solver-agnostic symbolic values support for issuing queries
- Version: >=1.6.1
- License: BSD-3-Clause
@hackage / hashable A class for types that can be converted to a hash value
- Version:
- License: BSD-3-Clause
@hackage / th-abstraction Nicer interface for reified information about data types
- Version: >=0.1 && <0.7
- License: ISC
@hackage / fgl Martin Erwig's Functional Graph Library
- Version:
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version:
- License: BSD-2-Clause
@hackage / transformers Concrete functor and monad transformers
- Version:
- License: BSD-3-Clause
@hackage / bv-sized a bitvector datatype that is parameterized by the vector width
- Version: >=1.0.0 && <1.1
- License: BSD-3-Clause
@hackage / vector Efficient Arrays
- Version:
- License: BSD-3-Clause
@hackage / lens Lenses, Folds and Traversals
- Version:
- License: BSD-2-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5.9.0
- License: BSD-3-Clause
@hackage / unordered-containers Efficient hashing-based container types
- Version:
- License: BSD-3-Clause
@hackage / bimap Bidirectional mapping between two key types
- Version:
- 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 / time A time library
- Version: >=1.8 && <2.0
- License: BSD-2-Clause
@hackage / parameterized-utils Classes and data structures for working with data-kind indexed types
- Version: >=1.0.8 && <2.2
- License: BSD-3-Clause
@hackage / json Support for serialising Haskell to and from JSON
- Version: >=0.9 && <1.0
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.13 && <4.21
- 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 / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause
@hackage / template-haskell Support library for Template Haskell
- Version:
- License: BSD-3-Clause

test:absint-tests (10 dependencies)

test:helper-tests (12 dependencies)