Create README.md

Peter Schrammel · Peter Schrammel · commit 1c75a32945f8 · 2016-03-05T10:19:07.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/
++