@hackage sbv10.5

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

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
Levent Erkok (erkokl@gmail.com)
Links
Versions
- 10.9 Sat, 6 Apr 2024
- 10.8 Fri, 5 Apr 2024
- 10.7 Sat, 23 Mar 2024
- 10.6 Sat, 16 Mar 2024
- 10.5 Wed, 21 Feb 2024
- 10.4 Thu, 15 Feb 2024

SBV: SMT Based Verification in Haskell

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

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

Installation
In your cabal file:
Tested Compilers
- 9.8.1
Dependencies (19)
- array
- base >=4.16 && <5
- containers
- deepseq
- directory
- filepath
Dependents (12)
@cardano/marlowe-cardano, @hackage/crackNum, @hackage/cryptol, @hackage/verifiable-expressions, @hackage/sbv-program, @hackage/grisette, Show all…