Added IntegerProblemSolver