CMakeLists.txt
LICENSE.md
MANIFEST.in
README.md
pyproject.toml
setup.py
app/clingo/CMakeLists.txt
app/clingo/main.cc
app/clingo/tests/CMakeLists.txt
app/clingo/tests/run.py
app/clingo/tests/lp/aggregates.lp
app/clingo/tests/lp/aggregates.sol
app/clingo/tests/lp/bio.cmd
app/clingo/tests/lp/bio.lp
app/clingo/tests/lp/bio.sol
app/clingo/tests/lp/elevator.lp
app/clingo/tests/lp/elevator.sol
app/clingo/tests/lp/external.lp
app/clingo/tests/lp/external.sol
app/clingo/tests/lp/istop.lp
app/clingo/tests/lp/istop.sol
app/clingo/tests/lp/numbers.lp
app/clingo/tests/lp/numbers.sol
app/clingo/tests/lp/project.cmd
app/clingo/tests/lp/project.lp
app/clingo/tests/lp/project.sol
app/clingo/tests/lp/show.lp
app/clingo/tests/lp/show.sol
app/clingo/tests/lp/subset.cmd
app/clingo/tests/lp/subset.lp
app/clingo/tests/lp/subset.sol
app/clingo/tests/lua/add-clause-lua.lp
app/clingo/tests/lua/add-clause-lua.sol
app/clingo/tests/lua/add_atom.lp
app/clingo/tests/lua/add_atom.sol
app/clingo/tests/lua/add_minimize.cmd
app/clingo/tests/lua/add_minimize.lp
app/clingo/tests/lua/add_minimize.sol
app/clingo/tests/lua/add_watch.lp
app/clingo/tests/lua/add_watch.sol
app/clingo/tests/lua/add_weight.lp
app/clingo/tests/lua/add_weight.sol
app/clingo/tests/lua/assignment.lp
app/clingo/tests/lua/assignment.sol
app/clingo/tests/lua/assumptions1.lp
app/clingo/tests/lua/assumptions1.sol
app/clingo/tests/lua/assumptions2.lp
app/clingo/tests/lua/assumptions2.sol
app/clingo/tests/lua/assumptions3.lp
app/clingo/tests/lua/assumptions3.sol
app/clingo/tests/lua/assumptions4.lp
app/clingo/tests/lua/assumptions4.sol
app/clingo/tests/lua/blocksworld1.lp
app/clingo/tests/lua/blocksworld1.sol
app/clingo/tests/lua/check-lua.lp
app/clingo/tests/lua/check-lua.sol
app/clingo/tests/lua/conflicting.lp
app/clingo/tests/lua/conflicting.sol
app/clingo/tests/lua/conformant1.lp
app/clingo/tests/lua/conformant1.sol
app/clingo/tests/lua/conformant2.lp
app/clingo/tests/lua/conformant2.sol
app/clingo/tests/lua/conformant3.lp
app/clingo/tests/lua/conformant3.sol
app/clingo/tests/lua/core1.lp
app/clingo/tests/lua/core1.sol
app/clingo/tests/lua/core2.lp
app/clingo/tests/lua/core2.sol
app/clingo/tests/lua/cover-lua.lp
app/clingo/tests/lua/cover-lua.sol
app/clingo/tests/lua/csp-shrinking.lp
app/clingo/tests/lua/csp-shrinking.sol
app/clingo/tests/lua/domain.lp
app/clingo/tests/lua/domain.sol
app/clingo/tests/lua/extend-model.lp
app/clingo/tests/lua/extend-model.sol
app/clingo/tests/lua/externals.lp
app/clingo/tests/lua/externals.sol
app/clingo/tests/lua/iclingo.lp
app/clingo/tests/lua/iclingo.sol
app/clingo/tests/lua/icolor.lp
app/clingo/tests/lua/icolor.sol
app/clingo/tests/lua/inccsp-onmodel.cmd
app/clingo/tests/lua/inccsp-onmodel.lp
app/clingo/tests/lua/inccsp-onmodel.sol
app/clingo/tests/lua/inccsp.lp
app/clingo/tests/lua/inccsp.sol
app/clingo/tests/lua/incshow.lp
app/clingo/tests/lua/incshow.sol
app/clingo/tests/lua/infsup.lp
app/clingo/tests/lua/infsup.sol
app/clingo/tests/lua/logger.lp
app/clingo/tests/lua/logger.sol
app/clingo/tests/lua/mutex-bug.lp
app/clingo/tests/lua/mutex-bug.sol
app/clingo/tests/lua/observer-replace.lp
app/clingo/tests/lua/observer-replace.sol
app/clingo/tests/lua/observer.cmd
app/clingo/tests/lua/observer.lp
app/clingo/tests/lua/observer.sol
app/clingo/tests/lua/parse-term.lp
app/clingo/tests/lua/parse-term.sol
app/clingo/tests/lua/project_bug.lp
app/clingo/tests/lua/project_bug.sol
app/clingo/tests/lua/project_bug2.lp
app/clingo/tests/lua/project_bug2.sol
app/clingo/tests/lua/propagator.cmd
app/clingo/tests/lua/propagator.lp
app/clingo/tests/lua/propagator.sol
app/clingo/tests/lua/queens.lp
app/clingo/tests/lua/queens.sol
app/clingo/tests/lua/robots.lp
app/clingo/tests/lua/robots.sol
app/clingo/tests/lua/setconfig.lp
app/clingo/tests/lua/setconfig.sol
app/clingo/tests/lua/show.lp
app/clingo/tests/lua/show.sol
app/clingo/tests/lua/sokoban.lp
app/clingo/tests/lua/sokoban.sol
app/clingo/tests/lua/sokoban_back.lp
app/clingo/tests/lua/sokoban_back.sol
app/clingo/tests/lua/sokoban_para.lp
app/clingo/tests/lua/sokoban_para.sol
app/clingo/tests/lua/solitaire_para.lp
app/clingo/tests/lua/solitaire_para.sol
app/clingo/tests/lua/solitaire_sort.lp
app/clingo/tests/lua/solitaire_sort.sol
app/clingo/tests/lua/test-numeric.lp
app/clingo/tests/lua/test-numeric.sol
app/clingo/tests/lua/test.lp
app/clingo/tests/lua/test.sol
app/clingo/tests/lua/theory-term-types.lp
app/clingo/tests/lua/theory-term-types.sol
app/clingo/tests/lua/theory.lp
app/clingo/tests/lua/theory.sol
app/clingo/tests/lua/toh.lp
app/clingo/tests/lua/toh.sol
app/clingo/tests/lua/unsat-sync.lp
app/clingo/tests/lua/unsat-sync.sol
app/clingo/tests/lua/wc1.lp
app/clingo/tests/lua/wc1.sol
app/clingo/tests/lua/wc2.lp
app/clingo/tests/lua/wc2.sol
app/clingo/tests/lua/wc3.lp
app/clingo/tests/lua/wc3.sol
app/clingo/tests/lua/wc4.lp
app/clingo/tests/lua/wc4.sol
app/clingo/tests/lua/wc5.lp
app/clingo/tests/lua/wc5.sol
app/clingo/tests/lua/wc6.lp
app/clingo/tests/lua/wc6.sol
app/clingo/tests/python/add-clause-py.lp
app/clingo/tests/python/add-clause-py.sol
app/clingo/tests/python/add_atom.lp
app/clingo/tests/python/add_atom.sol
app/clingo/tests/python/add_minimize.cmd
app/clingo/tests/python/add_minimize.lp
app/clingo/tests/python/add_minimize.sol
app/clingo/tests/python/add_watch.lp
app/clingo/tests/python/add_watch.sol
app/clingo/tests/python/add_weight.lp
app/clingo/tests/python/add_weight.sol
app/clingo/tests/python/assignment.lp
app/clingo/tests/python/assignment.sol
app/clingo/tests/python/assumptions1.lp
app/clingo/tests/python/assumptions1.sol
app/clingo/tests/python/assumptions2.lp
app/clingo/tests/python/assumptions2.sol
app/clingo/tests/python/assumptions3.lp
app/clingo/tests/python/assumptions3.sol
app/clingo/tests/python/assumptions4.lp
app/clingo/tests/python/assumptions4.sol
app/clingo/tests/python/backend_acyc.lp
app/clingo/tests/python/backend_acyc.sol
app/clingo/tests/python/backend_assume.lp
app/clingo/tests/python/backend_assume.sol
app/clingo/tests/python/backend_heuristic.lp
app/clingo/tests/python/backend_heuristic.sol
app/clingo/tests/python/backend_project.cmd
app/clingo/tests/python/backend_project.lp
app/clingo/tests/python/backend_project.sol
app/clingo/tests/python/blocksworld1.lp
app/clingo/tests/python/blocksworld1.sol
app/clingo/tests/python/cancel.lp
app/clingo/tests/python/cancel.sol
app/clingo/tests/python/check-py.lp
app/clingo/tests/python/check-py.sol
app/clingo/tests/python/conflicting.lp
app/clingo/tests/python/conflicting.sol
app/clingo/tests/python/core1.lp
app/clingo/tests/python/core1.sol
app/clingo/tests/python/core2.lp
app/clingo/tests/python/core2.sol
app/clingo/tests/python/cover-py.lp
app/clingo/tests/python/cover-py.sol
app/clingo/tests/python/domain.lp
app/clingo/tests/python/domain.sol
app/clingo/tests/python/extend-model.lp
app/clingo/tests/python/extend-model.sol
app/clingo/tests/python/external-lookup.lp
app/clingo/tests/python/external-lookup.sol
app/clingo/tests/python/externals.lp
app/clingo/tests/python/externals.sol
app/clingo/tests/python/free.lp
app/clingo/tests/python/free.sol
app/clingo/tests/python/iclingo.lp
app/clingo/tests/python/iclingo.sol
app/clingo/tests/python/infsup.lp
app/clingo/tests/python/infsup.sol
app/clingo/tests/python/interrupt.lp
app/clingo/tests/python/interrupt.sol
app/clingo/tests/python/logger.lp
app/clingo/tests/python/logger.sol
app/clingo/tests/python/multi.lp
app/clingo/tests/python/multi.sol
app/clingo/tests/python/observer-replace.lp
app/clingo/tests/python/observer-replace.sol
app/clingo/tests/python/observer.cmd
app/clingo/tests/python/observer.lp
app/clingo/tests/python/observer.sol
app/clingo/tests/python/parse-term.lp
app/clingo/tests/python/parse-term.sol
app/clingo/tests/python/project.lp
app/clingo/tests/python/project.sol
app/clingo/tests/python/propagator.cmd
app/clingo/tests/python/propagator.lp
app/clingo/tests/python/propagator.sol
app/clingo/tests/python/queens.lp
app/clingo/tests/python/queens.sol
app/clingo/tests/python/ret.lp
app/clingo/tests/python/ret.sol
app/clingo/tests/python/setconfig.lp
app/clingo/tests/python/setconfig.sol
app/clingo/tests/python/show.lp
app/clingo/tests/python/show.sol
app/clingo/tests/python/sokoban.cmd
app/clingo/tests/python/sokoban.lp
app/clingo/tests/python/sokoban.sol
app/clingo/tests/python/statistics.lp
app/clingo/tests/python/statistics.sol
app/clingo/tests/python/tag.lp
app/clingo/tests/python/tag.sol
app/clingo/tests/python/test-numeric.lp
app/clingo/tests/python/test-numeric.sol
app/clingo/tests/python/test.lp
app/clingo/tests/python/test.sol
app/clingo/tests/python/wc1.lp
app/clingo/tests/python/wc1.sol
app/clingo/tests/python/wc2.lp
app/clingo/tests/python/wc2.sol
app/clingo/tests/python/wc3.lp
app/clingo/tests/python/wc3.sol
app/clingo/tests/python/wc4.lp
app/clingo/tests/python/wc4.sol
app/clingo/tests/python/wc5.lp
app/clingo/tests/python/wc5.sol
app/clingo/tests/python/wc6.lp
app/clingo/tests/python/wc6.sol
app/gringo/CMakeLists.txt
app/gringo/main.cc
app/luaclingo/CMakeLists.txt
app/luaclingo/main.cc
app/pyclingo/CMakeLists.txt
app/pyclingo/_clingo.c
app/reify/CMakeLists.txt
app/reify/main.cc
app/web/CMakeLists.txt
app/web/main.cc
clasp/.gitignore
clasp/.travis.yml
clasp/CHANGES
clasp/CMakeLists.txt
clasp/LICENSE
clasp/README.md
clasp/create-archive.sh
clasp/app/CMakeLists.txt
clasp/app/main.cpp
clasp/clasp/asp_preprocessor.h
clasp/clasp/cb_enumerator.h
clasp/clasp/clasp_facade.h
clasp/clasp/claspfwd.h
clasp/clasp/clause.h
clasp/clasp/clingo.h
clasp/clasp/config.h.in
clasp/clasp/constraint.h
clasp/clasp/dependency_graph.h
clasp/clasp/enumerator.h
clasp/clasp/heuristics.h
clasp/clasp/literal.h
clasp/clasp/logic_program.h
clasp/clasp/logic_program_types.h
clasp/clasp/lookahead.h
clasp/clasp/minimize_constraint.h
clasp/clasp/model_enumerators.h
clasp/clasp/parser.h
clasp/clasp/pod_vector.h
clasp/clasp/program_builder.h
clasp/clasp/satelite.h
clasp/clasp/shared_context.h
clasp/clasp/solve_algorithms.h
clasp/clasp/solver.h
clasp/clasp/solver_strategies.h
clasp/clasp/solver_types.h
clasp/clasp/statistics.h
clasp/clasp/unfounded_check.h
clasp/clasp/weight_constraint.h
clasp/clasp/cli/clasp_app.h
clasp/clasp/cli/clasp_cli_configs.inl
clasp/clasp/cli/clasp_cli_options.inl
clasp/clasp/cli/clasp_options.h
clasp/clasp/cli/clasp_output.h
clasp/clasp/mt/mutex.h
clasp/clasp/mt/parallel_solve.h
clasp/clasp/mt/thread.h
clasp/clasp/util/hash.h
clasp/clasp/util/indexed_priority_queue.h
clasp/clasp/util/left_right_sequence.h
clasp/clasp/util/misc_types.h
clasp/clasp/util/multi_queue.h
clasp/clasp/util/pod_vector.h
clasp/clasp/util/timer.h
clasp/clasp/util/type_manip.h
clasp/cmake/ClaspConfig.cmake.in
clasp/doc/api/clasp.doxy
clasp/doc/api/clasp.txt
clasp/doc/api/layout.css
clasp/doc/api/layout.xml
clasp/doc/api/potassco-logo.png
clasp/examples/CMakeLists.txt
clasp/examples/example.h
clasp/examples/example1.cpp
clasp/examples/example2.cpp
clasp/examples/example3.cpp
clasp/examples/example4.cpp
clasp/examples/main.cpp
clasp/libpotassco/.gitignore
clasp/libpotassco/.travis.yml
clasp/libpotassco/CMakeLists.txt
clasp/libpotassco/LICENSE
clasp/libpotassco/README.md
clasp/libpotassco/app/CMakeLists.txt
clasp/libpotassco/app/lpconvert.cpp
clasp/libpotassco/cmake/PotasscoConfig.cmake.in
clasp/libpotassco/doc/Doxyfile
clasp/libpotassco/doc/layout.css
clasp/libpotassco/doc/layout.xml
clasp/libpotassco/doc/potassco-logo.png
clasp/libpotassco/potassco/application.h
clasp/libpotassco/potassco/aspif.h
clasp/libpotassco/potassco/aspif_text.h
clasp/libpotassco/potassco/basic_types.h
clasp/libpotassco/potassco/clingo.h
clasp/libpotassco/potassco/convert.h
clasp/libpotassco/potassco/match_basic_types.h
clasp/libpotassco/potassco/platform.h
clasp/libpotassco/potassco/rule_utils.h
clasp/libpotassco/potassco/smodels.h
clasp/libpotassco/potassco/string_convert.h
clasp/libpotassco/potassco/theory_data.h
clasp/libpotassco/potassco/program_opts/errors.h
clasp/libpotassco/potassco/program_opts/mapped_value.h
clasp/libpotassco/potassco/program_opts/program_options.h
clasp/libpotassco/potassco/program_opts/typed_value.h
clasp/libpotassco/potassco/program_opts/value.h
clasp/libpotassco/potassco/program_opts/value_store.h
clasp/libpotassco/potassco/program_opts/detail/notifier.h
clasp/libpotassco/potassco/program_opts/detail/refcountable.h
clasp/libpotassco/potassco/program_opts/detail/value_store.h
clasp/libpotassco/src/CMakeLists.txt
clasp/libpotassco/src/application.cpp
clasp/libpotassco/src/aspif.cpp
clasp/libpotassco/src/aspif_text.cpp
clasp/libpotassco/src/clingo.cpp
clasp/libpotassco/src/convert.cpp
clasp/libpotassco/src/match_basic_types.cpp
clasp/libpotassco/src/program_options.cpp
clasp/libpotassco/src/rule_utils.cpp
clasp/libpotassco/src/smodels.cpp
clasp/libpotassco/src/string_convert.cpp
clasp/libpotassco/src/theory_data.cpp
clasp/libpotassco/src/value_store.cpp
clasp/libpotassco/tests/CMakeLists.txt
clasp/libpotassco/tests/catch.hpp
clasp/libpotassco/tests/main.cpp
clasp/libpotassco/tests/test_application.cpp
clasp/libpotassco/tests/test_aspif.cpp
clasp/libpotassco/tests/test_common.h
clasp/libpotassco/tests/test_options.cpp
clasp/libpotassco/tests/test_smodels.cpp
clasp/libpotassco/tests/test_string_convert.cpp
clasp/libpotassco/tests/test_text.cpp
clasp/libpotassco/tests/test_value.cpp
clasp/src/CMakeLists.txt
clasp/src/asp_preprocessor.cpp
clasp/src/cb_enumerator.cpp
clasp/src/clasp_app.cpp
clasp/src/clasp_facade.cpp
clasp/src/clasp_options.cpp
clasp/src/clasp_output.cpp
clasp/src/clause.cpp
clasp/src/clingo.cpp
clasp/src/constraint.cpp
clasp/src/dependency_graph.cpp
clasp/src/enumerator.cpp
clasp/src/heuristics.cpp
clasp/src/logic_program.cpp
clasp/src/logic_program_types.cpp
clasp/src/lookahead.cpp
clasp/src/minimize_constraint.cpp
clasp/src/model_enumerators.cpp
clasp/src/parallel_solve.cpp
clasp/src/parser.cpp
clasp/src/program_builder.cpp
clasp/src/satelite.cpp
clasp/src/shared_context.cpp
clasp/src/solve_algorithms.cpp
clasp/src/solver.cpp
clasp/src/solver_strategies.cpp
clasp/src/solver_types.cpp
clasp/src/statistics.cpp
clasp/src/timer.cpp
clasp/src/unfounded_check.cpp
clasp/src/weight_constraint.cpp
clasp/tests/CMakeLists.txt
clasp/tests/catch.hpp
clasp/tests/clause_creator_test.cpp
clasp/tests/clause_test.cpp
clasp/tests/cli_test.cpp
clasp/tests/decision_heuristic_test.cpp
clasp/tests/dependency_graph_test.cpp
clasp/tests/dlp_builder_test.cpp
clasp/tests/enumerator_test.cpp
clasp/tests/facade_test.cpp
clasp/tests/literal_test.cpp
clasp/tests/lpcompare.h
clasp/tests/minimize_test.cpp
clasp/tests/parser_test.cpp
clasp/tests/program_builder_test.cpp
clasp/tests/rule_test.cpp
clasp/tests/satelite_test.cpp
clasp/tests/solver_test.cpp
clasp/tests/test_main.cpp
clasp/tests/unfounded_check_test.cpp
clasp/tests/weight_constraint_test.cpp
clasp/tools/clasp-option-template.inl
clasp/tools/generate-pcs.sh
cmake/ClingoConfig.cmake.in
cmake/FindRE2C.cmake
cmake/clingo_functions.cmake
cmake/glob-paths.py
cmake/python-site.py
libclingo/CMakeLists.txt
libclingo/clingo.h
libclingo/clingo.hh
libclingo/clingo/astv2.hh
libclingo/clingo/clingo_app.hh
libclingo/clingo/clingocontrol.hh
libclingo/clingo/control.hh
libclingo/clingo/incmode.hh
libclingo/clingo/optional.hh
libclingo/clingo/scripts.hh
libclingo/clingo/variant.hh
libclingo/src/astv2.cc
libclingo/src/astv2_build.cc
libclingo/src/astv2_parse.cc
libclingo/src/astv2_str.cc
libclingo/src/astv2_unpool.cc
libclingo/src/clingo_app.cc
libclingo/src/clingocontrol.cc
libclingo/src/control.cc
libclingo/src/gringo_app.cc
libclingo/src/incmode.cc
libclingo/src/scripts.cc
libclingo/tests/CMakeLists.txt
libclingo/tests/astv2.cc
libclingo/tests/catch.hpp
libclingo/tests/clingo.cc
libclingo/tests/main.cc
libclingo/tests/propagator.cc
libclingo/tests/symbol.cc
libclingo/tests/tests.hh
libclingo/tests/variant.cc
libgringo/CMakeLists.txt
libgringo/gen/src/input/clingopath.hh
libgringo/gen/src/input/groundtermlexer.hh
libgringo/gen/src/input/nongroundlexer.hh
libgringo/gen/src/input/groundtermgrammar/grammar.cc
libgringo/gen/src/input/groundtermgrammar/grammar.hh
libgringo/gen/src/input/groundtermgrammar/location.hh
libgringo/gen/src/input/groundtermgrammar/position.hh
libgringo/gen/src/input/groundtermgrammar/stack.hh
libgringo/gen/src/input/nongroundgrammar/grammar.cc
libgringo/gen/src/input/nongroundgrammar/grammar.hh
libgringo/gen/src/input/nongroundgrammar/stack.hh
libgringo/gringo/backend.hh
libgringo/gringo/backtrace.hh
libgringo/gringo/base.hh
libgringo/gringo/bug.hh
libgringo/gringo/clonable.hh
libgringo/gringo/comparable.hh
libgringo/gringo/domain.hh
libgringo/gringo/graph.hh
libgringo/gringo/hash_set.hh
libgringo/gringo/hashable.hh
libgringo/gringo/indexed.hh
libgringo/gringo/intervals.hh
libgringo/gringo/lexerstate.hh
libgringo/gringo/locatable.hh
libgringo/gringo/logger.hh
libgringo/gringo/primes.hh
libgringo/gringo/printable.hh
libgringo/gringo/safetycheck.hh
libgringo/gringo/symbol.hh
libgringo/gringo/term.hh
libgringo/gringo/terms.hh
libgringo/gringo/types.hh
libgringo/gringo/utility.hh
libgringo/gringo/ground/binders.hh
libgringo/gringo/ground/dependency.hh
libgringo/gringo/ground/instantiation.hh
libgringo/gringo/ground/literal.hh
libgringo/gringo/ground/literals.hh
libgringo/gringo/ground/program.hh
libgringo/gringo/ground/statement.hh
libgringo/gringo/ground/statements.hh
libgringo/gringo/ground/types.hh
libgringo/gringo/input/aggregate.hh
libgringo/gringo/input/aggregates.hh
libgringo/gringo/input/groundtermparser.hh
libgringo/gringo/input/literal.hh
libgringo/gringo/input/literals.hh
libgringo/gringo/input/nongroundparser.hh
libgringo/gringo/input/program.hh
libgringo/gringo/input/programbuilder.hh
libgringo/gringo/input/statement.hh
libgringo/gringo/input/theory.hh
libgringo/gringo/input/types.hh
libgringo/gringo/output/aggregates.hh
libgringo/gringo/output/backends.hh
libgringo/gringo/output/literal.hh
libgringo/gringo/output/literals.hh
libgringo/gringo/output/output.hh
libgringo/gringo/output/statement.hh
libgringo/gringo/output/statements.hh
libgringo/gringo/output/theory.hh
libgringo/gringo/output/types.hh
libgringo/src/primes.cc
libgringo/src/symbol.cc
libgringo/src/term.cc
libgringo/src/terms.cc
libgringo/src/ground/instantiation.cc
libgringo/src/ground/literals.cc
libgringo/src/ground/program.cc
libgringo/src/ground/statements.cc
libgringo/src/input/aggregate.cc
libgringo/src/input/aggregates.cc
libgringo/src/input/clingopath.hh.in
libgringo/src/input/groundtermgrammar.yy
libgringo/src/input/groundtermlexer.xh
libgringo/src/input/groundtermparser.cc
libgringo/src/input/literal.cc
libgringo/src/input/literals.cc
libgringo/src/input/nongroundgrammar.yy
libgringo/src/input/nongroundlexer.xch
libgringo/src/input/nongroundparser.cc
libgringo/src/input/program.cc
libgringo/src/input/programbuilder.cc
libgringo/src/input/statement.cc
libgringo/src/input/theory.cc
libgringo/src/output/aggregates.cc
libgringo/src/output/literal.cc
libgringo/src/output/literals.cc
libgringo/src/output/output.cc
libgringo/src/output/statement.cc
libgringo/src/output/statements.cc
libgringo/src/output/theory.cc
libgringo/tests/CMakeLists.txt
libgringo/tests/catch.hpp
libgringo/tests/graph.cc
libgringo/tests/intervals.cc
libgringo/tests/main.cc
libgringo/tests/safetycheck.cc
libgringo/tests/symbol.cc
libgringo/tests/term.cc
libgringo/tests/term_helper.hh
libgringo/tests/tests.hh
libgringo/tests/unique_vec.cc
libgringo/tests/utility.cc
libgringo/tests/ground/dependency.cc
libgringo/tests/ground/grounder_helper.hh
libgringo/tests/ground/instantiation.cc
libgringo/tests/ground/literal.cc
libgringo/tests/ground/program.cc
libgringo/tests/ground/theory.cc
libgringo/tests/input/aggregate.cc
libgringo/tests/input/aggregate_helper.hh
libgringo/tests/input/lit_helper.hh
libgringo/tests/input/literal.cc
libgringo/tests/input/nongroundgrammar.cc
libgringo/tests/input/nongroundlexer.cc
libgringo/tests/input/parse_term.cc
libgringo/tests/input/program.cc
libgringo/tests/input/programbuilder.cc
libgringo/tests/output/aspcomp13.cc
libgringo/tests/output/incremental.cc
libgringo/tests/output/lparse.cc
libgringo/tests/output/solver_helper.hh
libgringo/tests/output/theory.cc
libgringo/tests/output/warnings.cc
libluaclingo/CMakeLists.txt
libluaclingo/luaclingo.cc
libluaclingo/luaclingo.h
libpyclingo/CMakeLists.txt
libpyclingo/_clingo.c
libpyclingo/pyclingo.c
libpyclingo/pyclingo.h
libpyclingo/version.h.in
libpyclingo/clingo/__init__.py
libpyclingo/clingo/__main__.py
libpyclingo/clingo/_internal.py
libpyclingo/clingo/application.py
libpyclingo/clingo/ast.py
libpyclingo/clingo/backend.py
libpyclingo/clingo/configuration.py
libpyclingo/clingo/control.py
libpyclingo/clingo/core.py
libpyclingo/clingo/propagator.py
libpyclingo/clingo/py.typed
libpyclingo/clingo/script.py
libpyclingo/clingo/solving.py
libpyclingo/clingo/statistics.py
libpyclingo/clingo/symbol.py
libpyclingo/clingo/symbolic_atoms.py
libpyclingo/clingo/theory.py
libpyclingo/clingo/theory_atoms.py
libpyclingo/clingo/util.py
libpyclingo/clingo.egg-info/PKG-INFO
libpyclingo/clingo.egg-info/SOURCES.txt
libpyclingo/clingo.egg-info/dependency_links.txt
libpyclingo/clingo.egg-info/requires.txt
libpyclingo/clingo.egg-info/top_level.txt
libpyclingo/clingo/tests/__init__.py
libpyclingo/clingo/tests/test_application.py
libpyclingo/clingo/tests/test_ast.py
libpyclingo/clingo/tests/test_atoms.py
libpyclingo/clingo/tests/test_backend.py
libpyclingo/clingo/tests/test_conf.py
libpyclingo/clingo/tests/test_control.py
libpyclingo/clingo/tests/test_propagator.py
libpyclingo/clingo/tests/test_solving.py
libpyclingo/clingo/tests/test_symbol.py
libpyclingo/clingo/tests/util.py
libreify/CMakeLists.txt
libreify/reify/program.hh
libreify/reify/util.hh
libreify/src/program.cc
libreify/tests/CMakeLists.txt
libreify/tests/catch.hpp
libreify/tests/main.cc
libreify/tests/program.cc