sbv-4.4: SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.
Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers.
For details, please see: http://leventerkok.github.com/sbv/
Modules
- Data
- Data.SBV
- Bridge
- Data.SBV.Dynamic
- Examples
- BitPrecise
- CodeGeneration
- Crypto
- Existentials
- Misc
- Polynomials
- Puzzles
- Uninterpreted
- Data.SBV.Internals
- Data.SBV