4 projects
rooted-tree-classifier
A command-line tool for automatically classifying LCL problems on rooted trees.
brt-classifier
A command-line tool for automatically classifying binary and ternary labelling problems on bipartite rooted trees (hence BRT).
tlp-classifier
A command-line tool for automatically classifying ternary labelling problems (hence TLP) on bipartite trees.
cyclepath-classifier
A command-line tool for automatically calculating round complexity of LCL problems in cycles and paths based on their description in the node-edge-checkable formalism
