@hackage sbv7.1

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

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
Levent Erkok (erkokl@gmail.com)
Links
Versions
- 14.5 Sun, 26 Jul 2026
- 14.1 Mon, 4 May 2026
- 14.0 Wed, 1 Apr 2026
- 13.6 Mon, 2 Mar 2026
- 13.5 Mon, 26 Jan 2026
- 13.4 Fri, 9 Jan 2026

Deprecated
This release has been deprecated in favour of: @hackage/sbv-14.5
Dependencies (19)
- QuickCheck >=2.9.2
- array
- async
- base >=4.9 && <4.11
- containers
- crackNum >=1.9
Dependents (17)
@hackage/copilot-sbv, @hackage/keiki, @cardano/marlowe-cardano, @hackage/crackNum, @hackage/cryptol, @hackage/verifiable-expressions, Show all…

SBV: SMT Based Verification in Haskell

Please see: http://leventerkok.github.io/sbv/

Linux: GHC 8.0.1	Linux: GHC 8.0.2	Linux: GHC 8.2.1	Mac OSX: GHC 8.0.2