A free MILP modeling environment using lp_solve as MILP solver and SWI-Prolog (Source: http://plato.asu.edu)