smtlib.theories.experimental.Strings
String to Regular Expression Conversion. The statement turns a regular expression that only contains a string s.
String to Regular Expression Conversion. The statement turns a regular expression that only contains a string s.