Added compiled versions of that .java files.
Added input files (s20.cnf has odd spacing on lines 8 and 9; I e-mailed Dr. Baliga about it).
Changed variables data structure to be a HashMap instead of an ArrayList (probably easier to be more efficient since the variable indices won't start from 1 in all cases).
Parser currently creates clauses of the form (example is the first two lines of u15.cnf when parsed):
[POSITIVE,POSITIVE,POSITIVE]
[POSITIVE,NEGATED,POSITIVE]
Current plan for evaluating disjunction clauses for satisfiability:
	*Collect truth values for variables.
	*Loop through clauses:
		*Look up variable value (POSITIVE OR NEGATED) for each variable
		*if (POSITIVE && true) || (NEGATED && false) {return true}
		*No such case?  return false