Re: minisat mathprog and python/glpk
Erik Quaeghebeur <[email protected]>
| Newsgroups | gmane.comp.gnu.glpk |
|---|---|
| Message-ID | <[email protected]> |
Dear Joshua, > […] I was wondering if there is a way to use modelling from > python/glpk to interface with minsat? You may be aware of https://en.wikibooks.org/wiki/GLPK/Python which gives a nice overview. I do not know which of the listed packages have bindings for the SAT routines. However, my own personal project, ecyglpki (also listed there), does. But due to other priorities only the version on Github is up-to-date, not the one on PyPI. Success, Erik _______________________________________________ Help-glpk mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-glpk