> 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


_______________________________________________
Help-glpk mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/help-glpk

Reply via email to