On 24/05/2017 10:25, Andrew Makhorin wrote:
Please see a preliminary non-official release of glpk 4.62 at:
http://sourceforge.net/projects/noumenon/files/tmp/
I'd very appreciate if someone could test the --minisat option on a
64-bit platform. To test it just compile and install glpk as usual and
then enter subdirectory glpk/examples/pbn and run glpsol as follows:
glpsol --minisat -m pbn.mod -d disney.dat
If glpsol crashes, please report to [email protected] . Thanks.
Andrew Makhorin
works fine on cygwin 64bit
_______________________________________________
Help-glpk mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/help-glpk
