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 _______________________________________________ Help-glpk mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-glpk
