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.