Changed one line in SATSolver
Add additional test cnf files
Merge pull request #1 from javiersuweijie/sharlene

Add "if (clauses == null) return env;" in SATSolver