[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: |
Tue, 23 May 2017 11:07:47 +0300 |
Hi Chris,
Very sorry for a loooooong delay in my response.
On Fri, 2017-03-10 at 22:02 +0200, Chris Matrakidis wrote:
> Andrew,
>
> Here are three patches for MiniSat related issues. The first one is a
> small modification (better comment) of my original patch [1] to
> restore MiniSat on 64 bit systems. The second is a resend of [2] that
> handle the case where MiniSat detects trivial conflicts. The third
> patch allows running intfeas1() on problems without integer objective
> coefficients, if no bound is specified. All patches are relative to
> version 4.61.
Could you please post me the entire files (not diff's)?
Best regards,
Andrew Makhorin
>
> Somewhat related: There are C bindings for the C++ MiniSat [3], so it
> may be possible to hook a more recent version to GLPK.
>
>
> Best Regards,
>
> Chris Matrakidis
>
> PS. Erik, your mail had to be forwarded manually because you are not
> subscribed to the list.
>
> [1] http://lists.gnu.org/archive/html/bug-glpk/2015-11/msg00004.html
> [2] http://lists.gnu.org/archive/html/bug-glpk/2015-11/msg00009.html
> [3] https://github.com/niklasso/minisat-c-bindings
- Re: [Help-glpk] [Fwd: Enabling MiniSat for 64 bit?],
Andrew Makhorin <=
- 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