From 0091854038e88bf956223b4f4d9c4fee0a39ae27 Mon Sep 17 00:00:00 2001
From: Microsoft GitHub User <msftgits@microsoft.com>
Date: Wed, 8 Jun 2016 05:28:26 -0700
Subject: [PATCH] Initial commit

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 README.md

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.