[Top][All Lists]

[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]
> [2]
> [3]

reply via email to

[Prev in Thread] Current Thread [Next in Thread]