From 62a5ea36c1e678809a0557e67ec08f6a58252a24 Mon Sep 17 00:00:00 2001
From: pks <p@simianer.de>
Date: Tue, 15 Apr 2014 09:57:32 +0200
Subject: Create README.md

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

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..9293207
--- /dev/null
+++ b/README.md
@@ -0,0 +1,4 @@
+lampion
+=======
+
+code for grounded SMT
-- 
cgit v1.2.3