Test Commit.
Added partially finished parser, skeleton of Clause class, and skeleton of main class cnf_eval.