Check in a README file

[satcheck.git] / doc / README.txt

diff --git a/doc/README.txt b/doc/README.txt
new file mode 100644 (file)
index 0000000..7ea531e
--- /dev/null
+++ b/doc/README.txt
@@ -0,0 +1,15 @@
+To run SATCheck, you need to have built a SAT Solver from SATlib.  To
+obtain SATlib (from within the SATCheck directory):
+
+git clone git://plrg.eecs.uci.edu/satlib.git
+
+Then build a SAT solver in the SATlib distribution.  For example:
+
+cd satlib/glucose-syrup/incremental
+make
+cp glucose ../../../sat_solver
+
+Then you can build SATCheck.  Simply type make from within the main
+SATCheck directory.
+
+One might find the options in config.h useful.