stp.BVSubNoOverflow
===================

.. autofunction:: stp.BVSubNoOverflow