1. Make sure you add the SSAT files to the folder: "Add SSAT problems here"
2. Click Run in xcode.
3. Then enter the file name in the space provided and click start.
4. To run another, simply change the file name and click start.

Included problems: "problem1" "problem2"  "problem3" "test6"

Notes:
The files should be in .cnf format with a list of numbers with their probabilities (or -1 for choice variable) next to them, as seen below.
<<<<<<< HEAD

=======

>>>>>>> FETCH_HEAD

 1   -1
 2   -1
 3   0.1
 4   0.7
 5   -1
 6   -1
 7   0.8

This algorithm requires the .cnf files to have:
A: Four spaces exist before nonnegated literals and three spaces exist before negated literals in a clause.
B: Four spaces between the last literal of a clause.
C: A trailing zero is also required. (see example .cnf files)

No additional formatting dependencies exist. This also makes it more human readable.