Mixed Integer Linear Programming (MILP) solver
