From 18957e4a1636b27ceb5b16edc405bd7216f67cc7 Mon Sep 17 00:00:00 2001
From: Mohan Boddu <mohanboddu@fedoraproject.org>
Date: Jul 10 2018 17:28:36 +0000
Subject: Added the README


---

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..b929c32
--- /dev/null
+++ b/README.md
@@ -0,0 +1,3 @@
+# cadical
+
+The cadical package
\ No newline at end of file