Jachtabahn/treedec-ilp

Computing tree decompositions with ILP solvers

Tree decompositions of graphs in ILPs

I wrote this model in IBM's Optimization Programming Language (OPL).

This model encodes an integer linear program. The integer solutions encode tree decompositions of a graph.