diff --git a/INSTALL b/INSTALL
new file mode 100644
index 0000000000000000000000000000000000000000..f1aa0ae8d498b4a81207411e832d1545ea3a0ac1
--- /dev/null
+++ b/INSTALL
@@ -0,0 +1,20 @@
+cool solver installation notes
+==============================
+
+Dependencies
+------------
+Install ocaml include files, minisat include files. Place them in the include
+directory (e.g. /usr/include, /usr/lib/ocaml, or .) or adjust the search path
+via the INCS setting in the Makefile.
+
+Build
+-----
+Type:
+
+  make
+
+Installation
+------------
+Not possible yet.
+
+// vim: ft=asciidoc tw=80