Solvers and expressions
=======================

Configure expression evaluation and operator precedence.

.. doxygentopic:: snt::exs
   :members:
   :undoc-members:
   :headers: include/snt/exs/exceptions.h
      include/snt/exs/expression.h
      include/snt/exs/settings.h
      include/snt/exs/solver.h
      include/snt/exs/step_list.h