The Mixed Integer Linear Programming Solver

Details: MILP Solver