smtlib.theories.FixedSizeBitVectors
Construct a bit-vector literal from an hexadecimal
Construct a bit-vector literal from an hexadecimal
The bitvector theory interprets the hexadecimal literals as a bit vector of size 4 times the length of the hexadecimal representation