@hackage sbv8.10

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

Deprecated
This release has been deprecated in favour of: @hackage/sbv-11.0
Tested Compilers
- 8.10.2
- 8.8.4
Dependencies (19)
- array
- base >=4.11 && <4.16
- containers
- deepseq
- directory
- filepath
Dependents (15)
@hackage/copilot-sbv, @cardano/marlowe-cardano, @hackage/crackNum, @hackage/cryptol, @hackage/verifiable-expressions, @hackage/sbv-program, Show all…

skiphlinttester

(off by default)

Do not build the HLint tester

SBV: SMT Based Verification in Haskell