Contents:
Manipulate bit-vector expressions.
This module manipulate bit-vector expressions in a numeric and symbolic way. It implements the common bit-vector operations and follows the syntax and semantics of the bit-vector theory of the SMT_LIBv2 format.