[SMT-LIB] BVDIV on Bitvector (SMTLIB2) ?

Christopher L Conway cconway at cs.nyu.edu
Tue Aug 23 23:28:54 EDT 2011


On Tue, Aug 23, 2011 at 10:49 PM, Jun Koi <junkoi2004 at gmail.com> wrote:
> another question: i found bvule, bvugt, etc. but i cannot find
> anything to compare 2 vectors, so i can know if 2 vectors are equal.
> or did i miss something?


Yeah, you missed =.

;-)

The equality operator is overloaded to work on any type.

-Chris


More information about the SMT-LIB mailing list