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
