smtlib.theories.experimental.Strings
Membership Constraint where first arg is a string term and second a regular expression.
Membership Constraint where first arg is a string term and second a regular expression.