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