stp.BVSNegNoOverflow
====================

.. autofunction:: stp.BVSNegNoOverflow