sbv-4.2: SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.

sbv-4.2: 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/

Release notes: http://github.com/LeventErkok/sbv/blob/master/CHANGES.md

Modules