A mixed Integer Linear Programming (MILP) solver from [http://lpsolve.sourceforge.net/].