stp.current_solver
==================

.. autofunction:: stp.current_solver