Added improvements to the solver class. Implemented reduce, deduce and basic checking. Only missing backtracking now.