commit 0091854038e88bf956223b4f4d9c4fee0a39ae27
Author: Microsoft GitHub User <msftgits@microsoft.com>
Date:   Wed Jun 8 05:28:26 2016 -0700

    Initial commit

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..e44064a
--- /dev/null
+++ b/README.md
@@ -0,0 +1,2 @@
+# mcBV
+A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.