@hackage regexpr-symbolic0.5

Regular expressions via symbolic manipulation

Equality, containment, intersection among regular expressions via symbolic manipulation