@hackage sbv8.13

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

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
Levent Erkok (erkokl@gmail.com)
Links
Versions
- 11.0 Thu, 7 Nov 2024
- 10.12 Sun, 11 Aug 2024
- 10.11 Fri, 26 Jul 2024
- 10.10 Sat, 11 May 2024
- 10.9 Sat, 6 Apr 2024
- 10.8 Fri, 5 Apr 2024

Deprecated
This release has been deprecated in favour of: @hackage/sbv-11.0
Tested Compilers
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…

SBV: SMT Based Verification in Haskell

On Hackage: http://hackage.haskell.org/package/sbv

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

Build Status

Linux:
- GHC 8.10.2
- GHC 8.8.4
Mac OSX:
- GHC 8.10.2
Windows:
- GHC 8.10.1