Skip to content

Use treedecomp package

Hua-Ting Yao requested to merge treedecomp into master

Use treedecomp package instead of copying past the code :)

Merge request reports