help-glpk
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Chris Matrakidis
Subject: Re: [Help-glpk] [Fwd: Enabling MiniSat for 64 bit?]
Date: Fri, 10 Mar 2017 22:02:10 +0200

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

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

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

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


reply via email to

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