Theory of Bit-Vectors
=====================


.. api-examples::
    <examples>/api/cpp/bitvectors.cpp
    <examples>/api/c/bitvectors.c
    <examples>/api/java/BitVectors.java
    <examples>/api/python/pythonic/bitvectors.py
    <examples>/api/python/bitvectors.py
    <examples>/api/smtlib/bitvectors.smt2
