.gitignore
LICENSE
README.md
pyproject.toml
src/alltests.py
src/asp_selftest/__init__.py
src/asp_selftest/__main__.py
src/asp_selftest/arguments.py
src/asp_selftest/integration.py
src/asp_selftest/lib.py
src/asp_selftest/moretests.py
src/asp_selftest/queens.lp
src/asp_selftest/session2.py
src/asp_selftest.egg-info/PKG-INFO
src/asp_selftest.egg-info/SOURCES.txt
src/asp_selftest.egg-info/dependency_links.txt
src/asp_selftest.egg-info/entry_points.txt
src/asp_selftest.egg-info/requires.txt
src/asp_selftest.egg-info/top_level.txt
src/asp_selftest/plugins/__init__.py
src/asp_selftest/plugins/clingo_control_plugin.py
src/asp_selftest/plugins/clingo_defaults_plugin.py
src/asp_selftest/plugins/clingo_main_plugin.py
src/asp_selftest/plugins/clingo_sequencer_plugin.py
src/asp_selftest/plugins/clingo_syntaxerror_plugin.py
src/asp_selftest/plugins/clingoexitcodes.py
src/asp_selftest/plugins/compound_context_plugin.py
src/asp_selftest/plugins/insert_plugin_plugin.py
src/asp_selftest/plugins/messageparser.py
src/asp_selftest/plugins/misc.py
src/asp_selftest/plugins/source_plugin.py
src/asp_selftest/plugins/stdin_to_tempfile_plugin.py
src/asp_selftest/plugins/testrunner_plugin.py
src/asp_selftest/plugins/clingo_reify_plugin/__init__.py
src/asp_selftest/plugins/clingo_reify_plugin/asputil.py
src/asp_selftest/plugins/clingo_reify_plugin/clingo_reify_plugin.py
src/asp_selftest/plugins/clingo_reify_plugin/reify.lp