> Heh. Using 'glpsol --minisat' gave the answer almost > instantaneously [it took ~15 hours without the --minisat option]. >
Please note that --minisat allows to find only an integer feasible solution, i.e. it solves an integer feasibility problem. To find a better integer feasible solution you also need to specify --objbnd option, which introduces an additional inequality constraint to limit the objective value. _______________________________________________ Help-glpk mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-glpk
