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/top_level.txt
src/tcheckerpy/tools/tck_compare.py
src/tcheckerpy/tools/tck_liveness.py
src/tcheckerpy/tools/tck_reach.py
src/tcheckerpy/tools/tck_simulate.py
src/tcheckerpy/tools/tck_syntax.py
src/tcheckerpy/utils/call_tchecker.py
src/tcheckerpy/utils/tchecker_caller.py
test/test_tcheckerpy.py