Create README.md

mboehme · May 8, 2018 · 753aa63 · 753aa63
1 parent 99f11da
commit 753aa63
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -0,0 +1,2 @@
+# INCAL
+INCAL is an incremental SMT constraint learner