Renamed cnf_eval.java to CNFEval.java to coincide with Java class naming convention.
Added more logic to the parser (probably still needs a lot of work).
Added necessary methods and fields to Clause and Parser classes.