@hackage / sbv

SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.

Latest14.3

Dependencies

library:sbv (26 dependencies)

@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / array Mutable and immutable arrays
- Version:
- License: BSD-3-Clause
@hackage / syb Scrap Your Boilerplate
- Version:
- License: BSD-3-Clause
@hackage / QuickCheck Automatic testing of Haskell programs
- Version:
- License: BSD-3-Clause
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.19.2 && <5
- License: BSD-3-Clause
@hackage / process Process libraries
- Version:
- License: BSD-3-Clause
@hackage / tree-view Render trees as foldable HTML and Unicode art
- Version:
- License: BSD-3-Clause
@hackage / haskell-src-meta Parse source to template-haskell abstract syntax.
- Version:
- License: BSD-3-Clause
@hackage / async Run IO operations asynchronously and wait for their results
- Version:
- License: BSD-3-Clause
@hackage / uniplate Help writing simple, concise and fast generic operations.
- Version:
- License: BSD-3-Clause
@hackage / deepseq Deep evaluation of data structures
- Version:
- License: BSD-3-Clause
@hackage / time A time library
- Version:
- License: BSD-2-Clause
@hackage / random Pseudo-random number generation
- Version:
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version:
- License: BSD-3-Clause
@hackage / pretty Pretty-printing library
- Version:
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version:
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause
@hackage / th-expand-syns Expands type synonyms in Template Haskell ASTs
- Version:
- License: BSD-3-Clause
@hackage / libBF A binding to the libBF library.
- Version:
- License: MIT
@hackage / haskell-src-exts Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
- Version:
- License: BSD-3-Clause
@hackage / cryptohash-sha512 Fast, pure and practical SHA-512 implementation
- Version:
- License: BSD-3-Clause
@hackage / base16-bytestring RFC 4648-compliant Base16 encodings for ByteStrings
- 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 / template-haskell Support library for Template Haskell
- Version:
- License: BSD-3-Clause

test:SBVConnections (2 dependencies)

test:SBVDocTest (3 dependencies)

test:SBVHLint (2 dependencies)

test:SBVTest (17 dependencies)

benchmark:SBVBench (9 dependencies)