Version 7.0-1 of sbv is deprecated.
The latest version of sbv is 10.12-0.
sbv
Version 7.0 revision 1 uploaded by Bodigrim.
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/
- 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-2017
- Homepage
- http://leventerkok.github.com/sbv/
- Maintainer
- Levent Erkok (erkokl@gmail.com)
- Package URL
- n/a
- Stability
- Experimental