The top documents tagged [itpack solvers integer]