Gurobi and MINISAT
12 views
Skip to first unread message
J. Friedman
May 25, 2017, 8:57:37 AM5/25/17
to Gurobi Optimization
I was wondering if Gurobi had an interface with SAT solvers. I took the example that comes with GLPK
(glpsol --minisat -m pbn.mod -d disney.dat)
and converted it to a LP file. It turns out that the SAT solver solves it instantly on 1 thread while it took Gurobi 133 seconds on 8 threads.
It would be great if I could use the Gurobi/Python modeling interchangeably with the MIP solver.
(glpsol --minisat -m pbn.mod -d disney.dat)
and converted it to a LP file. It turns out that the SAT solver solves it instantly on 1 thread while it took Gurobi 133 seconds on 8 threads.
It would be great if I could use the Gurobi/Python modeling interchangeably with the MIP solver.
Reply all
Reply to author
Forward
0 new messages