[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Help-glpk] [Fwd: Enabling MiniSat for 64 bit?]
From: |
Andrew Makhorin |
Subject: |
Re: [Help-glpk] [Fwd: Enabling MiniSat for 64 bit?] |
Date: |
Wed, 24 May 2017 11:13:56 +0300 |
On Tue, 2017-05-23 at 12:51 +0300, Chris Matrakidis wrote:
> Hi Andrew,
>
> > Could you please post me the entire files (not diff's)?
>
> Here they are.
>
>
> Best Regards,
>
> Chris Matrakidis
Hi Chris,
I made necessary changes in minisat.c to provide 64-bit portability as
well as some other changes in src/api/minisat1.c and src/api/intfeas1.c
based on your three patches you posted to the list (in January).
Please see a preliminary non-official release of glpk 4.62 at:
http://sourceforge.net/projects/noumenon/files/tmp/
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 <=
- 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