It works fine on OS X 10.12.5 > On May 24, 2017, at 4:25 AM, Andrew Makhorin <[email protected]> wrote: > > glpsol --minisat -m pbn.mod -d disney.dat
_______________________________________________ Help-glpk mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-glpk
