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