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.