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
- check SimpleTest in test/java/SimpleQuery/Tests.
Tool for checking whether two SQL queries are equivalent
A tool for checking equivalence of SQL queries.
needs to build on z3 4.6 version: github link: https://github.com/Z3Prover/z3/releases
Tool for checking whether two SQL queries are equivalent
Apache License 2.0