@hackage regexpr-symbolic0.4

Regular expressions via symbolic manipulation

Equality, containment, intersection among regular expressions via symbolic manipulation