/spes

Tool for checking whether two SQL queries are equivalent

Primary LanguageJavaApache License 2.0Apache-2.0

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.