Instructions for use of SAT4J on our systems:
Enter the following line in your ~/.bashrc (one time) or from the bash terminal command line (each time):
export CLASSPATH="$CLASSPATH:/Courses/cs371/lib/sat4j.jar"

Within Eclipse projects:
- Right-click on project in Project Explorer, select Build Path -> Add External Archives and in the File System, select /Courses/cs371/lib/sat4j.jar.

To use sat4j.jar on your own system, you can download it from http://cs.gettysburg.edu/~tneller/nsf/clue/sat4j-compatible/ and adjust classpaths accordingly on your system.


Instructions for use of SAT4JSolver:
In addition to the Clue Project SATSolver.java (http://cs.gettysburg.edu/~tneller/nsf/clue/), download SAT4JSolver.java from http://cs.gettysburg.edu/~tneller/nsf/clue/sat4j-compatible/

In ClueReasoner.java, replace "solver = new SATSolver();" with "solver = new SAT4JSolver();"
Do the same in any other file where you wish to have faster reasoning, and in all homework submission files.