[console_scripts]
tlaplus-state-graph-utils.py = tlaplus_state_graph_utils.cli:main
