From d2cccdb33e7fb829b1c7541d79702665ca801424 Mon Sep 17 00:00:00 2001 From: bdemsky Date: Thu, 15 Dec 2016 21:24:57 -0800 Subject: [PATCH] Check in a README file --- doc/README.txt | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 doc/README.txt 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. -- 2.34.1