SJTU-IPADS/SQLSolver

An automated prover that verifies the equivalence of SQL queries

语言：Java · GitHub 星标：70 · Fork：7

在 GitHub 上查看原仓库