ostrich.cesolver
Class for mapping string constraints to string functions.
The entry class of the Ostrich string solver.