[pymprog] pymprog + other solvers

[Joshua F. <cro...@gm...>]

I have a few questions.
1. GLPK can convert SAT problems from Mathprog modeling language and solve
using MinSAT. Is it possible to do this with pymprog, i.e. formulate at a
problem as a 0-1 integer problem using your python library and have it
solve it in minsat instead of GLPK.

2. Part of my research involves solving big 0-1 integer programs, and GLPK
is the slowest solver in the world (at least compared to CBC, SCIP, CPLEX,
and GUROBI). Is it possible to program in pymprog and solve with a faster
solver, at the very least CBC. I know PULP does this already, but I really
like the simple syntax which is is much better than PULPs.


-- 
Joshua Friedman PhD
Cro...@gm...
http://www.math.sunysb.edu/~joshua