smtlib.theories.experimental.Strings
Character in String. First argument is a string term and second is a natural number. The index is starting from 0.
Character in String. First argument is a string term and second is a natural number. The index is starting from 0.