i am still new with Z3, and have a question: is it possible to use Z3 to do equivalence checking?
if that is possible, could you give me one example of checking 2 formulas for equivalence?
thanks.