Hi Andrew, > I'd very appreciate if someone could test the --minisat option on a > 64-bit platform.
I can confirm that minisat works as expected in 64-bit linux and windows. Note that I did the windows testing using mingw64 so some testing with another compiler may still be worthwhile. Regarding the rest of the preliminary release, the check for the objective limit in dual simplex is still disabled with perturbation. I think there was code to handle it in one of the previous preliminary releases. Moreover, this seems like a good time to remind you of some other patches I've send: 1. http://lists.gnu.org/archive/html/bug-glpk/2016-05/msg00006.html 2. http://lists.gnu.org/archive/html/bug-glpk/2016-05/msg00001.html 3. and the second patch in http://lists.gnu.org/archive/html/help-glpk/2017-01/msg00013.html (the first patch in the last link is an attempt at the dual simplex objective limit check but I got the #if wrong). Best Regards, Chris Matrakidis _______________________________________________ Help-glpk mailing list Help-glpk@gnu.org https://lists.gnu.org/mailman/listinfo/help-glpk
