Re: testing glpk 4.62 on a 64-bit platform
Marco Atzeri <[email protected]>
| Newsgroups | gmane.comp.gnu.glpk |
|---|---|
| Message-ID | <[email protected]> |
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