stp.solver_scope
================

.. autofunction:: stp.solver_scope