LICENSE.md
README.md
pyproject.toml
setup.py
pytact/README.md
pytact/__init__.py
pytact/common.py
pytact/data_reader.cpp
pytact/data_reader.pyx
pytact/fake_coq_client.py
pytact/fake_coq_reinforce_server.py
pytact/fake_python_server.py
pytact/generate_api.py
pytact/graph_api.capnp
pytact/graph_api.capnp.cpp
pytact/graph_api_capnp_cython.cpp
pytact/graph_api_capnp_cython.pxd
pytact/graph_api_capnp_cython.pyx
pytact/graph_sanity_check.py
pytact/graph_visualize.py
pytact/graph_visualize_browse.py
pytact/oracle_server.py
pytact/prover.py
pytact/read_graph.py
pytact/repack.py
pytact/visualisation_webserver.py
pytact/templates/capnp_cython.pxd
pytact/templates/capnp_cython.pyx
pytact/templates/visualizer.html
pytact/tests/TestReinforceStdin.v
pytact/tests/TestReinforceTcp.v
pytact/tests/prop4.txt
pytactician.egg-info/PKG-INFO
pytactician.egg-info/SOURCES.txt
pytactician.egg-info/dependency_links.txt
pytactician.egg-info/entry_points.txt
pytactician.egg-info/requires.txt
pytactician.egg-info/top_level.txt