
[glpk]
swiglpk

[gurobi]
gurobipy

[pysat]
python-sat

[scip]
pyscipopt
