smtlib.theories.experimental.Strings
Following functions are under the --strings-exp option. They are under active refinement. Once they are stable, we will move them to the default mode. Please let us know when you have some suggestions.
String Contain.
String IndexOf.
Integer To String Conversion.
String PrefixOf.
String Replacement.
String To Integer Conversion.
String SuffixOf.
Following functions are under the --strings-exp option. They are under active refinement. Once they are stable, we will move them to the default mode. Please let us know when you have some suggestions.