Re: [Help-glpk] [Fwd: Enabling MiniSat for 64 bit?]

[Chris Matrakidis]

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.

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

0001-less-restrictive-minisat-64-bit-portability-check.patch
Description: Text Data

0002-remove-assert-where-minisat-detects-trivial-conflict.patch
Description: Text Data

0003-intfeas1-needs-to-check-objective-only-when-bound-sp.patch
Description: Text Data