String specification

The full SMT-LIB string theory, including the operators crossing over to Int and to regular expressions.

Predicates

The rest of the theory

Constructors