README.md

SQL Query Equivalence

A tool for checking equivalence of SQL queries.

z3 update

needs to build on z3 4.6 version: github link: https://github.com/Z3Prover/z3/releases

test case

1. check SimpleTest in test/java/SimpleQuery/Tests.