A Solver for a Theory of Strings and Bit-vectors

Sanu Subramanian, Murphy Berzish, Yunhui Zheng +2

We present a solver for a many-sorted first-order quantifier-free theory $T_{w,bv}$ of string equations, string length represented as bit-vectors, and bit-vector arithmetic aimed a…