tdvisu (pypi): Visualizing Dynamic Programming on Tree Decompositions.
Keywords: graph|visualization|dynamic-programming|msol-solver|graphviz|json-data|python|python3-8|tree-decompositions