Implemented IntegerEquationsSolver and fixed KR. Current bug affects reducing some matrices.