LICENSE.txt
README.md
pyproject.toml
setup.py
PythonAlloyClient/__init__.py
PythonAlloyClient/alloy_server.py
PythonAlloyClient/syntax_status.py
PythonAlloyClient.egg-info/PKG-INFO
PythonAlloyClient.egg-info/SOURCES.txt
PythonAlloyClient.egg-info/dependency_links.txt
PythonAlloyClient.egg-info/top_level.txt
PythonAlloyClient/resources/org.alloytools.alloy.dist.jar
tests/__init__.py
tests/test_syntax.py