Finalized IntegerProblemSolver