.gitignore
LICENSE
README.md
pyproject.toml
bin/clingo+test.sh
bin/runasptests.sh
src/asp_selftest/__init__.py
src/asp_selftest/__main__.py
src/asp_selftest/arguments.py
src/asp_selftest/duplicate_assert.lp
src/asp_selftest/error_handling.py
src/asp_selftest/example.lp
src/asp_selftest/processors.lp
src/asp_selftest/processors.py
src/asp_selftest/queens.lp
src/asp_selftest/reify.py
src/asp_selftest/runasptests.py
src/asp_selftest/utils.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