Re: [Fwd: Enabling MiniSat for 64 bit?]

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