.clang-format
.gitignore
AGENTS.md
LICENSE
README.md
pyproject.toml
setup.py
.github/workflows/release.yml
.github/workflows/release_test.yml
.vscode/settings.json
libtct/LICENSE
libtct/canqc.c
libtct/canqc.h
libtct/cnorm.c
libtct/cnorm.h
libtct/des_data.c
libtct/des_data.h
libtct/des_proc.c
libtct/des_proc.h
libtct/des_supp.c
libtct/des_supp.h
libtct/ex_supred.c.wip
libtct/ex_supred.h.wip
libtct/ext_des_proc.c
libtct/ext_des_proc.h
libtct/ext_proc.c
libtct/ext_proc.h
libtct/higen.c
libtct/higen.h
libtct/localize.c
libtct/localize.h
libtct/meet_x64.cpp
libtct/minm.c
libtct/minm.h
libtct/minm1.c
libtct/minm1.h
libtct/multiplatio.c
libtct/multiplatio.h
libtct/mymalloc.c
libtct/mymalloc.h
libtct/obs_check.c
libtct/obs_check.h
libtct/program.c
libtct/program.h
libtct/setup.c
libtct/setup.h
libtct/supred.c
libtct/supred.h
libtct/supred2.cpp
libtct/supred2.h
libtct/tct_io.c
libtct/tct_io.h
libtct/tct_proc.c
libtct/tct_proc.h
libtct/mpack/CMakeLists.txt
libtct/mpack/mpack.c
libtct/mpack/mpack.h
pitct/__init__.py
pitct/_version.py
pitct/automaton_display.py
pitct/config.py
pitct/dat_info.py
pitct/des.py
pitct/des_check.py
pitct/des_info.py
pitct/distance.py
pitct/ext_des_info.py
pitct/libtct.c
pitct/name_converter.py
pitct/simulation.py
pitct/tct_def.py
pitct/tct_typing.py
pitct/util.py
pitct.egg-info/PKG-INFO
pitct.egg-info/SOURCES.txt
pitct.egg-info/dependency_links.txt
pitct.egg-info/requires.txt
pitct.egg-info/top_level.txt
tests/__init__.py
tests/test_config.py
tests/test_dat_info.py
tests/test_des_check.py
tests/test_des_info.py
tests/test_distance.py
tests/test_ext_des_info.py
tests/test_name_converter.py
tests/test_tct_def.py
tests/test_util.py