Solver
======

.. doxygenclass:: stp::api::Solver
   :project: stp-cpp
   :members:
   :undoc-members: