stp.has_sat_backend
===================

.. autofunction:: stp.has_sat_backend