X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=doc%2FREADME.txt;fp=doc%2FREADME.txt;h=7ea531e426fd71c150e7ada634d782e89a86364c;hb=d2cccdb33e7fb829b1c7541d79702665ca801424;hp=0000000000000000000000000000000000000000;hpb=dda2d5d103b32f8505374712936af1daf42ec061;p=satcheck.git

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.