Java Treewidth library