LICENSE
README.md
pyproject.toml
src/tcheckerpy/libtchecker.so
src/tcheckerpy.egg-info/PKG-INFO
src/tcheckerpy.egg-info/SOURCES.txt
src/tcheckerpy.egg-info/dependency_links.txt
src/tcheckerpy.egg-info/requires.txt
src/tcheckerpy.egg-info/top_level.txt
src/tcheckerpy/routers/tck_compare.py
src/tcheckerpy/routers/tck_liveness.py
src/tcheckerpy/routers/tck_reach.py
src/tcheckerpy/routers/tck_simulate.py
src/tcheckerpy/routers/tck_syntax.py
src/tcheckerpy/utils/call_tchecker.py
src/tcheckerpy/utils/tchecker_caller.py