diff --git a/README.md b/README.md
new file mode 100644
index 0000000000000000000000000000000000000000..7b4377bd59a59e189c7642f2bcddf275e6c0afe9
--- /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)