ostrich
The entry class of the Ostrich string solver.
Determine whether length reasoning should be switched on, given some assertion.
The entry class of the Ostrich string solver.