From 3e06254a710ab016178bfeeef7daf3a2cf8e67b1 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Mon, 14 Sep 2015 09:18:41 +0200
Subject: [PATCH] Create README.md

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

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..7b4377b
--- /dev/null
+++ b/README.md
@@ -0,0 +1,3 @@
+Kodkod Wrapper for ProB
+
+[![Build Status](https://travis-ci.org/hhu-stups/probkodkod.svg?branch=master)](https://travis-ci.org/hhu-stups/probkodkod)
-- 
GitLab