Create README.md

Peter Schrammel · Peter Schrammel · commit 88581d4df3ac · 2016-03-05T10:15:15.000Z
diff --git a/README.md b/README.md
@@ -0,0 +1,6 @@
+# CBMC
+
+Web: http://www.cprover.org/cbmc/
+
+Wiki: http://www.cprover.org/wiki/
+

-Original file line number
+Diff line change
@@ @@ -0,0 +1,6 @@ @@
 +# CBMC
++
 +Web: http://www.cprover.org/cbmc/
++
 +Wiki: http://www.cprover.org/wiki/
++