stp.BVRedAnd
============

.. autofunction:: stp.BVRedAnd