The latest version of regexpr-symbolic is 0.5-0.
regexpr-symbolic
Version 0.2 revision 0 uploaded by MartinSulzmann.
Package meta
- Synopsis
- Equality, containment, intersection among regular expressions via symbolic manipulation
- Description
Equality, containment, intersection among regular expressions via symbolic manipulation
- Author
- Martin Sulzmann
- Bug reports
- n/a
- Category
- Text
- Copyright
- n/a
- Homepage
- http://sulzmann.blogspot.com/2008/12/equality-containment-and-intersection.html
- Maintainer
- martin.sulzmann@gmail.com
- Package URL
- n/a
- Stability
- experimental