Treewidth library