Re: testing glpk 4.62 on a 64-bit platform

Andrew Makhorin <[email protected]> Thu, 25 May 2017 07:32:57 +0300

Newsgroups	gmane.comp.gnu.glpk
Message-ID	<1495686777.3784.4.camel@corvax>

Hi Chris,

> I can confirm that minisat works as expected in 64-bit linux and
> windows. 

Thank you very much for testing.

> Note that I did the windows testing using mingw64 so some
> testing with another compiler may still be worthwhile.

Will wait for bug reports.


Best regards,

Andrew Makhorin

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.