diff --git a/README.md b/README.md
new file mode 100644
index 0000000..26cd512
--- /dev/null
+++ b/README.md
@@ -0,0 +1,4 @@
+# Minisat
+
+This Git repository holds all major release versions of [Minisat](http://minisat.se/Main.html) plus occasional patches for your convenience.
+To get a specific version, see the branches of this repository.