doc/README.txt

   1 To run SATCheck, you need to have built a SAT Solver from SATlib.  To
   2 obtain SATlib (from within the SATCheck directory):
   3
   4 git clone git://plrg.eecs.uci.edu/satlib.git
   5
   6 Then build a SAT solver in the SATlib distribution.  For example:
   7
   8 cd satlib/glucose-syrup/incremental
   9 make
  10 cp glucose ../../../sat_solver
  11
  12 Then you can build SATCheck.  Simply type make from within the main
  13 SATCheck directory.
  14
  15 One might find the options in config.h useful.