SJTU-IPADS / SQLSolver

An automated prover that verifies the equivalence of SQL queries
20Updated last month

Related projects: