stp.BVNand
==========

.. autofunction:: stp.BVNand