/SQLSolver

An automated prover that verifies the equivalence of SQL queries

Primary LanguageJavaApache License 2.0Apache-2.0

Stargazers