https://github.com/csprance-org/graphtoy-plus