sbv
Version 11.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.
- 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-2024
- Homepage
- http://github.com/LeventErkok/sbv
- Maintainer
- Levent Erkok (erkokl@gmail.com)
- Package URL
- n/a
- Stability
- Experimental