The regexpr-symbolic package
Equality, containment, intersection among regular expressions via symbolic manipulation
Properties
| Versions | 0.1, 0.2, 0.3, 0.4, 0.5 |
|---|---|
| Dependencies | base (≥4 & <4.1) |
| License | BSD3 |
| Author | Martin Sulzmann |
| Maintainer | martin.sulzmann@gmail.com |
| Stability | experimental |
| Category | Text |
| Home page | http://sulzmann.blogspot.com/2008/12/equality-containment-and-intersection.html |
| Upload date | Tue May 8 20:00:56 UTC 2012 |
| Uploaded by | MartinSulzmann |
| Build failure | ghc-7.4 (log) |
Modules
- RegExpr
- RegExpr.RegExprOperations
Downloads
- regexpr-symbolic-0.5.tar.gz (Cabal source package)
- package description (included in the package)