smt-string

An OCaml library of Unicode strings and regular expressions following SMT-LIB Unicode strings theory. Characters are Unicode code points in the range 0x0-0x2FFFF (planes 0-2).

It provides implementations of the theory's operations for evaluating concrete string and regex terms, e.g. when checking a model.

Modules

• Codepoint: Unicode code points in the range 0x0-0x2FFFF (planes 0-2).
• Ustr: SMT-LIB Unicode strings and the str.* operations.
• Reglan: SMT-LIB regular expressions (re.* operations), with membership decided by Brzozowski derivatives.