LICENCE.md
README.md
pyproject.toml
setup.cfg
src/viasp/__init__.py
src/viasp/__main__.py
src/viasp/api.py
src/viasp/clingoApiClient.py
src/viasp/exampleTransformer.py
src/viasp/exceptions.py
src/viasp/wrapper.py
src/viasp/asp/__init__.py
src/viasp/asp/ast_types.py
src/viasp/asp/justify.py
src/viasp/asp/recursion.py
src/viasp/asp/reify.py
src/viasp/asp/relax.py
src/viasp/asp/utils.py
src/viasp/locales/en.json
src/viasp/server/__init__.py
src/viasp/server/database.py
src/viasp/server/factory.py
src/viasp/server/models.py
src/viasp/server/startup.py
src/viasp/server/blueprints/__init__.py
src/viasp/server/blueprints/api.py
src/viasp/server/blueprints/app.py
src/viasp/server/blueprints/dag_api.py
src/viasp/shared/__init__.py
src/viasp/shared/clingo_stats.py
src/viasp/shared/defaults.py
src/viasp/shared/event.py
src/viasp/shared/interfaces.py
src/viasp/shared/io.py
src/viasp/shared/model.py
src/viasp/shared/simple_logging.py
src/viasp/shared/util.py
src/viasp_backend.egg-info/PKG-INFO
src/viasp_backend.egg-info/SOURCES.txt
src/viasp_backend.egg-info/dependency_links.txt
src/viasp_backend.egg-info/entry_points.txt
src/viasp_backend.egg-info/requires.txt
src/viasp_backend.egg-info/top_level.txt
test/test_analyzer.py
test/test_cli.py
test/test_clingraph.py
test/test_database.py
test/test_graph_creation.py
test/test_graph_utils.py
test/test_io.py
test/test_model.py
test/test_python_api.py
test/test_reification.py
test/test_relaxer.py
test/test_server.py