@hackage sbv11.2

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.4 Thu, 13 Mar 2025
- 11.3 Mon, 10 Mar 2025
- 11.2 Sat, 8 Mar 2025
- 11.1 Fri, 21 Feb 2025
- 11.0 Thu, 7 Nov 2024
- 10.12 Sun, 11 Aug 2024

Installation
In your cabal file:
Tested Compilers
- 9.10.1
Dependencies (22)
- array
- base >=4.19 && <5
- bytestring
- containers
- deepseq
- directory
Dependents (15)
@hackage/copilot-sbv, @cardano/marlowe-cardano, @hackage/crackNum, @hackage/cryptol, @hackage/verifiable-expressions, @hackage/sbv-program, Show all…

Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers.