CMakeLists.txt
LICENSE.md
MANIFEST.in
README.md
pyproject.toml
setup.py
app/CMakeLists.txt
app/lib/CMakeLists.txt
app/lib/clingo-dl-app/app.hh
app/lib/src/app.cc
app/src/main.cc
cmake/ClingoDLConfig.cmake.in
cmake/FindGperftools.cmake
cmake/glob-paths.py
cmake/python-site.py
libclingo-dl/CMakeLists.txt
libclingo-dl/clingo-dl.h
libclingo-dl/clingo-dl/config.hh
libclingo-dl/clingo-dl/graph.hh
libclingo-dl/clingo-dl/parsing.hh
libclingo-dl/clingo-dl/propagator.hh
libclingo-dl/clingo-dl/theory.hh
libclingo-dl/clingo-dl/util.hh
libclingo-dl/clingo-dl/impl/util.hh
libclingo-dl/src/clingo-dl.cc
libclingo-dl/src/graph.cc
libclingo-dl/src/parsing.cc
libclingo-dl/src/propagator.cc
libclingo-dl/src/theory.cc
libclingo-dl/tests/CMakeLists.txt
libclingo-dl/tests/optimize.cc
libclingo-dl/tests/parsing.cc
libclingo-dl/tests/solve.cc
libpyclingo-dl/CMakeLists.txt
libpyclingo-dl/_clingodl.c
libpyclingo-dl/clingo_dl.egg-info/PKG-INFO
libpyclingo-dl/clingo_dl.egg-info/SOURCES.txt
libpyclingo-dl/clingo_dl.egg-info/dependency_links.txt
libpyclingo-dl/clingo_dl.egg-info/requires.txt
libpyclingo-dl/clingo_dl.egg-info/top_level.txt
libpyclingo-dl/clingodl/__init__.py
libpyclingo-dl/clingodl/__main__.py
libpyclingo-dl/clingodl/py.typed
third_party/CMakeLists.txt