@hackage sbv8.16

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.7 Fri, 16 May 2025
- 11.6 Sat, 10 May 2025
- 11.5 Fri, 25 Apr 2025
- 11.4 Thu, 13 Mar 2025
- 11.3 Mon, 10 Mar 2025
- 11.2 Sat, 8 Mar 2025

Installation
In your cabal file:
Tested Compilers
Dependencies (19)
- array
- base >=4.11 && <4.16
- containers
- deepseq
- directory
- filepath
Dependents (14)
@hackage/copilot-sbv, @hackage/crackNum, @hackage/cryptol, @hackage/verifiable-expressions, @hackage/sbv-program, @hackage/acme-everything, Show all…

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

For details, please see: http://leventerkok.github.io/sbv/