Update README.md

georgia-tech-db · Aug 18, 2022 · 8049f98 · 8049f98
1 parent 0aa5978
commit 8049f98
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -1,5 +1,5 @@
-# sqlEq
-A repo for checking SQL equivalent
+# SQL Query Equivalence
+A tool for checking equivalence of SQL queries.
 
 # z3 update
 needs to build on z3 4.6 version: