stp.SolverFor
=============

.. autofunction:: stp.SolverFor