minisat mathprog and python/glpk
Joshua Friedman <[email protected]>
| Newsgroups | gmane.comp.gnu.glpk |
|---|---|
| Message-ID | <CABsGjspRa0P4aQXw6JfojeGEjwg5Zv3HSQ7HnR5XEm7PT9Etbw@mail.gmail.com> |
I found that using python/glpk instead of mathprog is usually more convenient. I was wondering if there is a way to use modelling from python/glpk to interface with minsat? I like the way mathprog can model SAT problems, but the benefits of python are so huge that I need to stick with python over mathprog for a real application. -- Joshua Friedman PhD [email protected] http://www.math.sunysb.edu/~joshua _______________________________________________ Help-glpk mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-glpk