id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,merged,author,reviewer,upstream,work_issues,branch,commit,dependencies,stopgaps
29955,Reduction from dancing links instance to MILP instance,slabbe,,"Following #29338, the proposed branch adds 2 new methods which allows what follows:
{{{
sage: from sage.combinat.matrices.dancing_links import dlx_solver
sage: rows = [[0,1,2], [3,4,5], [0,1], [2,3,4,5], [0], [1,2,3,4,5]]
sage: d = dlx_solver(rows)
sage: d.one_solution()
[1, 0]
sage: d.one_solution_using_milp_solver()
[0, 1]
sage: d.one_solution_using_milp_solver('Gurobi')
[2, 3]
sage: d.one_solution_using_milp_solver('CPLEX')
[2, 3]
etc.
}}}
This is based on the new method:
{{{
sage: p,x = d.to_milp()
sage: p
Boolean Program (no objective, 6 variables, 6 constraints)
sage: x
MIPVariable of dimension 1
}}}",enhancement,closed,major,sage-9.2,combinatorics,fixed,,slelievre,,Sébastien Labbé,"Franco Saliola, Matthias Koeppe",N/A,,da23ad1d5973bea8e7df69800ca2dd0a4c647ea3,da23ad1d5973bea8e7df69800ca2dd0a4c647ea3,#29338,