On Wed, 2017-05-24 at 17:55 -0400, J. Friedman wrote: > It works fine on OS X 10.12.5
Thank you very much for testing. Andrew Makhorin > > 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
