Version 4.0-0 of sbv is deprecated.
The latest version of sbv is 10.12-0.
sbv
Version 4.0 revision 0 uploaded by LeventErkok.
Package meta
- Synopsis
- SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.
- Description
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
- Author
- Levent Erkok
- Bug reports
- http://github.com/LeventErkok/sbv/issues
- Category
- Formal Methods, Theorem Provers, Bit vectors, Symbolic Computation, Math, SMT
- Copyright
- Levent Erkok, 2010-2015
- Homepage
- http://leventerkok.github.com/sbv/
- Maintainer
- Levent Erkok (erkokl@gmail.com)
- Package URL
- n/a
- Stability
- Experimental