[Top][All Lists]

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

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

From: Andrew Makhorin
Subject: [Help-glpk] [Fwd: Enabling MiniSat for 64 bit?]
Date: Fri, 10 Mar 2017 18:16:09 +0300

-------- Forwarded Message --------
From: Erik Quaeghebeur <address@hidden>
To: address@hidden
Subject: Enabling MiniSat for 64 bit?
Date: Thu, 09 Mar 2017 19:21:15 +0100

Dear list,

I recently updated my GLKP installation from 4.55 to 4.61. I encountered
the issue that MiniSat is disabled for 64 bit system. I understand the
reason, but nevertheless want to run the risk of crashes to get access
to the SAT solver. (It worked well—without crashes—for me before.) Is
this possible somehow?

Best regards,


reply via email to

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