stp.sat_backends
================

.. autofunction:: stp.sat_backends