EBGlucose is a project mainly written in C and SHELL, it's free.
A CNF satisfiability solver.
For compiling: ./build.sh
For running: DIR/ebglucose.sh BENCHNAME
When running, the TMPDIR envirionment variable must be set to an existing directory to which you have write permission.