Version 0.1-0 of sbvPlugin is deprecated.
The latest version of sbvPlugin is 9.10.1-0.
sbvPlugin
Version 0.1 revision 0 uploaded by LeventErkok.
Package meta
- Synopsis
- Analyze Haskell expressions using SBV/SMT
- Description
GHC plugin for analyzing expressions using SMT solvers, based on the SBV package.
See Data.SBV.Plugin for a quick example.
- 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