stp.fpToSBV
===========

.. autofunction:: stp.fpToSBV