Computing treewidth with LibTW | AMiner