A Mixed Integer Linear Programming (MILP) solver