From 7625cc6d1ec2910e6332bcd4db28c7bf8c1d5989 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <uni@thorsten-wissmann.de>
Date: Thu, 3 Oct 2013 23:24:44 +0200
Subject: [PATCH] Add basic INSTALL instructions

---
 INSTALL | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 INSTALL

diff --git a/INSTALL b/INSTALL
new file mode 100644
index 0000000..f1aa0ae
--- /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
-- 
GitLab