Fixing header guard
Cleaning up solver.h header
Moving functions to their appropriate places
Just moving things around and renaming newVar to new_var
Marking with override functions that override
Removing useless functions and member variables
Fixing indentation
Fixing indentation
Moving variable where it should go
Moving function to a better section
Better indentaiton
Adding XOR clause support
Fixing Licence headers

Only about 5-10 lines of code were written by anyone other than me
, so it's really Copyright by Mate Soos