Integer Linear Programming Solver