GitHub repository: smaniu/treewidth
Primary language: C++
Created: 2015-10-24T16:03:08Z
Description: Computing estimations of graph treewidth