@hackage / sbv-program

Component-based program synthesis using SBV

Latest1.1.0.0

Dependencies

library:sbv-program (5 dependencies)

@hackage / pretty-simple pretty printer for data types with a 'Show' instance.
- Version: >=4.1.2 && <4.2
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: <5
- License: BSD-3-Clause
@hackage / bifunctors Bifunctors
- Version: >=5.5.13 && <5.6
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.6.5 && <0.7
- License: BSD-3-Clause
@hackage / sbv SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.
- Version: >=9.0 && <9.1
- License: BSD-3-Clause

test:smoketest (3 dependencies)