Got the basic implementation working

Worked on the reading in of clauses and testing against them.

To work on next:
-Genetic algorithm to solve
-Mutation
-Crossing