Modified SATSolver.java and made executable
Modified clureasoner
Finished adding all clauses