The latest version of sbvPlugin is 9.10.1-0.
sbvPlugin
Version 9.0.1 revision 0 uploaded by LeventErkok.
Package meta
- Synopsis
- Formally prove properties of Haskell programs using SBV/SMT
- Description
GHC plugin for proving properties over Haskell functions using SMT solvers, based on the SBV package.
See Data.SBV.Plugin for a quick example, or the modules under Data.SBV.Plugin.Examples for more details.
- Author
- Levent Erkok
- Bug reports
- http://github.com/LeventErkok/sbvPlugin/issues
- Category
- Formal methods, Theorem provers, Math, SMT, Symbolic Computation
- Copyright
- n/a
- Homepage
- http://github.com/LeventErkok/sbvPlugin
- Maintainer
- Levent Erkok (erkokl@gmail.com)
- Package URL
- n/a
- Stability
- Experimental