The Mixed Integer Linear Programming Solver