Theory of Bit-Vectors
=====================
.. api-examples::
../../examples/api/cpp/bitvectors.cpp
../../examples/api/java/BitVectors.java
../../examples/api/python/bitvectors.py
../../examples/api/smtlib/bitvectors.smt2
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback