From: bdemsky <bdemsky@uci.edu>
Date: Fri, 16 Dec 2016 05:24:57 +0000 (-0800)
Subject: Check in a README file
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=d2cccdb33e7fb829b1c7541d79702665ca801424;p=satcheck.git

Check in a README file
---

diff --git a/doc/README.txt b/doc/README.txt
new file mode 100644
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.