stp.BitVecs
===========

.. autofunction:: stp.BitVecs