[Fwd: Enabling MiniSat for 64 bit?]
Andrew Makhorin <[email protected]>
| Newsgroups | gmane.comp.gnu.glpk |
|---|---|
| Message-ID | <1489158969.5383.0.camel@corvax> |
-------- Forwarded Message -------- From: Erik Quaeghebeur <[email protected]> To: [email protected] 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, Erik _______________________________________________ Help-glpk mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-glpk