Strings
-------
Algorithms and classes used for solving string constraints.

.. doxygenfile:: applications/strings.hh