@hackage sbv-program dependencies

8 results

library:sbv-program (5 dependencies)

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.6.5 && <0.7

@haskell/base

Core data structures and operations

@hackage/sbv

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

BSD-3-Clause>=9.0 && <9.1

@hackage/pretty-simple

pretty printer for data types with a 'Show' instance.

BSD-3-Clause>=4.1.2 && <4.2

@hackage/bifunctors

Bifunctors

BSD-3-Clause>=5.5.13 && <5.6

test:smoketest (3 dependencies)

@haskell/base

Core data structures and operations

@hackage/sbv-program

Component-based program synthesis using SBV

@hackage/sbv

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