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.