[Help-glpk] testing glpk 4.62 on a 64-bit platform

[Andrew Makhorin]

> 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 address@hidden . Thanks.


Andrew Makhorin