regexpr-symbolic (hackage): Equality, containment, intersection among regular expressions via symbolic manipulation
Keywords: bsd3|library|text