[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Help-glpk] testing glpk 4.62 on a 64-bit platform
From: |
Andrew Makhorin |
Subject: |
Re: [Help-glpk] testing glpk 4.62 on a 64-bit platform |
Date: |
Thu, 25 May 2017 07:32:57 +0300 |
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
- Re: [Help-glpk] [Fwd: Enabling MiniSat for 64 bit?], Andrew Makhorin, 2017/05/23
- Re: [Help-glpk] [Fwd: Enabling MiniSat for 64 bit?], Chris Matrakidis, 2017/05/23
- Re: [Help-glpk] [Fwd: Enabling MiniSat for 64 bit?], Andrew Makhorin, 2017/05/24
- Re: [Help-glpk] testing glpk 4.62 on a 64-bit platform, Heinrich Schuchardt, 2017/05/24
- Re: [Help-glpk] testing glpk 4.62 on a 64-bit platform, Andrew Makhorin, 2017/05/24
- Re: [Help-glpk] testing glpk 4.62 on a 64-bit platform, Chris Matrakidis, 2017/05/24
- Re: [Help-glpk] testing glpk 4.62 on a 64-bit platform, Andrew Makhorin, 2017/05/25
- Re: [Help-glpk] testing glpk 4.62 on a 64-bit platform, Chris Matrakidis, 2017/05/25
- [Help-glpk] cnf-sat solver interface, Andrew Makhorin, 2017/05/25
- Re: [Help-glpk] cnf-sat solver interface, Andrew Makhorin, 2017/05/25
- Re: [Help-glpk] testing glpk 4.62 on a 64-bit platform, Marco Atzeri, 2017/05/24
- Re: [Help-glpk] testing glpk 4.62 on a 64-bit platform, Andrew Makhorin, 2017/05/24
- Re: [Help-glpk] testing glpk 4.62 on a 64-bit platform, J. Friedman, 2017/05/24