smtlib.theories.experimental.Strings.Regex
Regular Expression Option marker (equivalent to Loop(r, 0, 1))
Regular Expression Option marker (equivalent to Loop(r, 0, 1))