data/gringo-5.4.0/.gitignore: troff or preprocessor input, ASCII text data/gringo-5.4.0/CHANGES.md: ASCII text data/gringo-5.4.0/INSTALL.md: ASCII text data/gringo-5.4.0/LICENSE.md: ASCII text data/gringo-5.4.0/README.md: ASCII text data/gringo-5.4.0/app/clingo/CMakeLists.txt: ASCII text data/gringo-5.4.0/app/clingo/main.cc: C source, ASCII text data/gringo-5.4.0/app/clingo/tests/CMakeLists.txt: ASCII text data/gringo-5.4.0/app/clingo/tests/lp/aggregates.lp: ASCII text, with very long lines data/gringo-5.4.0/app/clingo/tests/lp/aggregates.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lp/bio.cmd: ASCII text data/gringo-5.4.0/app/clingo/tests/lp/bio.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lp/bio.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lp/elevator.lp: C source, ASCII text data/gringo-5.4.0/app/clingo/tests/lp/elevator.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lp/external.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lp/external.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lp/istop.lp: C source, ASCII text data/gringo-5.4.0/app/clingo/tests/lp/istop.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lp/numbers.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lp/numbers.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lp/project.cmd: ASCII text data/gringo-5.4.0/app/clingo/tests/lp/project.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lp/project.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lp/show.lp: C source, ASCII text data/gringo-5.4.0/app/clingo/tests/lp/show.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lp/subset.cmd: ASCII text data/gringo-5.4.0/app/clingo/tests/lp/subset.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lp/subset.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/add-clause-lua.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/add-clause-lua.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/add_atom.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/add_atom.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/add_watch.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/add_watch.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/assumptions1.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/assumptions1.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/assumptions2.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/assumptions2.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/assumptions3.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/assumptions3.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/assumptions4.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/assumptions4.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/blocksworld1.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/blocksworld1.sol: ASCII text, with very long lines data/gringo-5.4.0/app/clingo/tests/lua/check-lua.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/check-lua.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/conflicting.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/conflicting.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/conformant1.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/conformant1.sol: ASCII text, with very long lines data/gringo-5.4.0/app/clingo/tests/lua/conformant2.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/conformant2.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/conformant3.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/conformant3.sol: ASCII text, with very long lines data/gringo-5.4.0/app/clingo/tests/lua/cover-lua.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/cover-lua.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/csp-shrinking.lp: PostScript document text data/gringo-5.4.0/app/clingo/tests/lua/csp-shrinking.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/domain.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/domain.sol: ASCII text, with very long lines data/gringo-5.4.0/app/clingo/tests/lua/extend-model.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/extend-model.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/externals.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/externals.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/iclingo.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/iclingo.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/icolor.lp: C source, ASCII text data/gringo-5.4.0/app/clingo/tests/lua/icolor.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/inccsp-onmodel.cmd: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/inccsp-onmodel.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/inccsp-onmodel.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/inccsp.lp: C source, ASCII text data/gringo-5.4.0/app/clingo/tests/lua/inccsp.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/incshow.lp: C source, ASCII text data/gringo-5.4.0/app/clingo/tests/lua/incshow.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/infsup.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/infsup.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/logger.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/logger.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/mutex-bug.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/mutex-bug.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/observer-replace.lp: C source, ASCII text data/gringo-5.4.0/app/clingo/tests/lua/observer-replace.sol: ASCII text, with very long lines data/gringo-5.4.0/app/clingo/tests/lua/observer.cmd: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/observer.lp: C source, ASCII text data/gringo-5.4.0/app/clingo/tests/lua/observer.sol: ASCII text, with very long lines data/gringo-5.4.0/app/clingo/tests/lua/parse-term.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/parse-term.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/project_bug.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/project_bug.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/propagator.cmd: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/propagator.lp: C source, ASCII text data/gringo-5.4.0/app/clingo/tests/lua/propagator.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/queens.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/queens.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/robots.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/robots.sol: ASCII text, with very long lines data/gringo-5.4.0/app/clingo/tests/lua/setconfig.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/setconfig.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/show.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/show.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/sokoban.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/sokoban.sol: ASCII text, with very long lines data/gringo-5.4.0/app/clingo/tests/lua/sokoban_back.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/sokoban_back.sol: ASCII text, with very long lines data/gringo-5.4.0/app/clingo/tests/lua/sokoban_para.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/sokoban_para.sol: ASCII text, with very long lines data/gringo-5.4.0/app/clingo/tests/lua/solitaire_para.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/solitaire_para.sol: ASCII text, with very long lines data/gringo-5.4.0/app/clingo/tests/lua/solitaire_sort.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/solitaire_sort.sol: ASCII text, with very long lines data/gringo-5.4.0/app/clingo/tests/lua/test-numeric.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/test-numeric.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/test.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/test.sol: ASCII text, with very long lines data/gringo-5.4.0/app/clingo/tests/lua/theory-term-types.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/theory-term-types.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/theory.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/theory.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/toh.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/toh.sol: ASCII text, with very long lines data/gringo-5.4.0/app/clingo/tests/lua/unsat-sync.lp: ASCII text data/gringo-5.4.0/app/clingo/tests/lua/unsat-sync.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/add-clause-py.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/add-clause-py.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/add_atom.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/add_atom.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/add_watch.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/add_watch.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/assumptions1.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/assumptions1.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/assumptions2.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/assumptions2.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/assumptions3.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/assumptions3.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/assumptions4.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/assumptions4.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/ast.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/ast.sol: ASCII text, with very long lines data/gringo-5.4.0/app/clingo/tests/python/ast2.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/ast2.sol: ASCII text, with very long lines data/gringo-5.4.0/app/clingo/tests/python/ast3.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/ast3.sol: ASCII text, with very long lines data/gringo-5.4.0/app/clingo/tests/python/backend_acyc.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/backend_acyc.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/backend_assume.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/backend_assume.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/backend_heuristic.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/backend_heuristic.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/backend_project.cmd: ASCII text data/gringo-5.4.0/app/clingo/tests/python/backend_project.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/backend_project.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/blocksworld1.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/blocksworld1.sol: ASCII text, with very long lines data/gringo-5.4.0/app/clingo/tests/python/cancel.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/cancel.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/check-py.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/check-py.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/conflicting.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/conflicting.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/cover-py.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/cover-py.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/domain.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/domain.sol: ASCII text, with very long lines data/gringo-5.4.0/app/clingo/tests/python/extend-model.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/extend-model.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/external-lookup.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/external-lookup.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/externals.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/externals.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/free.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/free.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/iclingo.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/iclingo.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/infsup.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/infsup.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/interrupt.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/interrupt.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/logger.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/logger.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/multi.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/multi.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/observer-replace.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/observer-replace.sol: ASCII text, with very long lines data/gringo-5.4.0/app/clingo/tests/python/observer.cmd: ASCII text data/gringo-5.4.0/app/clingo/tests/python/observer.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/observer.sol: ASCII text, with very long lines data/gringo-5.4.0/app/clingo/tests/python/parse-term.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/parse-term.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/project.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/project.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/propagator.cmd: ASCII text data/gringo-5.4.0/app/clingo/tests/python/propagator.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/propagator.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/queens.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/queens.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/ret.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/ret.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/setconfig.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/setconfig.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/show.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/show.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/sokoban.cmd: ASCII text data/gringo-5.4.0/app/clingo/tests/python/sokoban.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/sokoban.sol: ASCII text, with very long lines data/gringo-5.4.0/app/clingo/tests/python/statistics.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/statistics.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/tag.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/tag.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/test-numeric.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/test-numeric.sol: ASCII text data/gringo-5.4.0/app/clingo/tests/python/test.lp: Python script, ASCII text executable data/gringo-5.4.0/app/clingo/tests/python/test.sol: ASCII text, with very long lines data/gringo-5.4.0/app/clingo/tests/run.py: Python script, ASCII text executable data/gringo-5.4.0/app/gringo/CMakeLists.txt: ASCII text data/gringo-5.4.0/app/gringo/main.cc: C source, ASCII text data/gringo-5.4.0/app/luaclingo/CMakeLists.txt: ASCII text data/gringo-5.4.0/app/luaclingo/main.cc: C source, ASCII text data/gringo-5.4.0/app/pyclingo/CMakeLists.txt: ASCII text data/gringo-5.4.0/app/pyclingo/main.cc: C source, ASCII text data/gringo-5.4.0/app/reify/CMakeLists.txt: ASCII text data/gringo-5.4.0/app/reify/main.cc: C++ source, ASCII text data/gringo-5.4.0/app/web/CMakeLists.txt: ASCII text data/gringo-5.4.0/app/web/main.cc: C++ source, ASCII text data/gringo-5.4.0/clasp/.gitignore: ASCII text data/gringo-5.4.0/clasp/CHANGES: ASCII text data/gringo-5.4.0/clasp/CMakeLists.txt: C source, ASCII text data/gringo-5.4.0/clasp/LICENSE: ASCII text data/gringo-5.4.0/clasp/README.md: ASCII text data/gringo-5.4.0/clasp/app/CMakeLists.txt: ASCII text data/gringo-5.4.0/clasp/app/clasp_app.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/app/clasp_app.h: C++ source, ASCII text data/gringo-5.4.0/clasp/app/main.cpp: C source, ASCII text data/gringo-5.4.0/clasp/clasp/asp_preprocessor.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/cb_enumerator.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/clasp_facade.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/claspfwd.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/clause.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/cli/clasp_cli_configs.inl: ASCII text data/gringo-5.4.0/clasp/clasp/cli/clasp_cli_options.inl: ASCII text data/gringo-5.4.0/clasp/clasp/cli/clasp_options.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/cli/clasp_output.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/clingo.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/config.h.in: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/constraint.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/dependency_graph.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/enumerator.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/heuristics.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/literal.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/logic_program.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/logic_program_types.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/lookahead.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/minimize_constraint.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/model_enumerators.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/mt/mutex.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/mt/parallel_solve.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/mt/thread.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/parser.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/pod_vector.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/program_builder.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/satelite.h: C++ source, UTF-8 Unicode text data/gringo-5.4.0/clasp/clasp/shared_context.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/solve_algorithms.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/solver.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/solver_strategies.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/solver_types.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/statistics.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/unfounded_check.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/util/hash.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/util/indexed_priority_queue.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/util/left_right_sequence.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/util/misc_types.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/util/multi_queue.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/util/pod_vector.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/util/timer.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/util/type_manip.h: C++ source, ASCII text data/gringo-5.4.0/clasp/clasp/weight_constraint.h: C++ source, ASCII text data/gringo-5.4.0/clasp/cmake/clasp-config-version.cmake.in: ISO-8859 text data/gringo-5.4.0/clasp/cmake/clasp-config.cmake.in: ASCII text data/gringo-5.4.0/clasp/create-archive.sh: Bourne-Again shell script, ASCII text executable data/gringo-5.4.0/clasp/doc/api/clasp.doxy: ASCII text data/gringo-5.4.0/clasp/doc/api/clasp.txt: ASCII text data/gringo-5.4.0/clasp/doc/api/layout.css: ASCII text data/gringo-5.4.0/clasp/doc/api/layout.xml: exported SGML document, ASCII text data/gringo-5.4.0/clasp/doc/api/potassco-logo.png: PNG image data, 48 x 48, 8-bit/color RGBA, non-interlaced data/gringo-5.4.0/clasp/examples/CMakeLists.txt: ASCII text data/gringo-5.4.0/clasp/examples/example.h: C++ source, ASCII text data/gringo-5.4.0/clasp/examples/example1.cpp: C source, ASCII text data/gringo-5.4.0/clasp/examples/example2.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/examples/example3.cpp: C source, ASCII text data/gringo-5.4.0/clasp/examples/example4.cpp: C source, ASCII text data/gringo-5.4.0/clasp/examples/main.cpp: C source, ASCII text data/gringo-5.4.0/clasp/libpotassco/.gitignore: ASCII text data/gringo-5.4.0/clasp/libpotassco/CMakeLists.txt: ASCII text data/gringo-5.4.0/clasp/libpotassco/LICENSE: ASCII text data/gringo-5.4.0/clasp/libpotassco/README.md: ASCII text data/gringo-5.4.0/clasp/libpotassco/app/CMakeLists.txt: ASCII text data/gringo-5.4.0/clasp/libpotassco/app/lpconvert.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/cmake/potassco-config-version.cmake.in: ISO-8859 text data/gringo-5.4.0/clasp/libpotassco/cmake/potassco-config.cmake: ASCII text data/gringo-5.4.0/clasp/libpotassco/doc/Doxyfile: ASCII text data/gringo-5.4.0/clasp/libpotassco/doc/layout.css: ASCII text data/gringo-5.4.0/clasp/libpotassco/doc/layout.xml: exported SGML document, ASCII text data/gringo-5.4.0/clasp/libpotassco/doc/potassco-logo.png: PNG image data, 48 x 48, 8-bit/color RGBA, non-interlaced data/gringo-5.4.0/clasp/libpotassco/potassco/application.h: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/potassco/aspif.h: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/potassco/aspif_text.h: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/potassco/basic_types.h: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/potassco/clingo.h: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/potassco/convert.h: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/potassco/match_basic_types.h: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/potassco/platform.h: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/potassco/program_opts/detail/notifier.h: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/potassco/program_opts/detail/refcountable.h: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/potassco/program_opts/detail/value_store.h: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/potassco/program_opts/errors.h: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/potassco/program_opts/mapped_value.h: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/potassco/program_opts/program_options.h: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/potassco/program_opts/typed_value.h: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/potassco/program_opts/value.h: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/potassco/program_opts/value_store.h: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/potassco/rule_utils.h: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/potassco/smodels.h: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/potassco/string_convert.h: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/potassco/theory_data.h: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/src/CMakeLists.txt: ASCII text data/gringo-5.4.0/clasp/libpotassco/src/application.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/src/aspif.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/src/aspif_text.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/src/clingo.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/src/convert.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/src/match_basic_types.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/src/program_options.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/src/rule_utils.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/src/smodels.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/src/string_convert.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/src/theory_data.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/src/value_store.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/tests/CMakeLists.txt: ASCII text data/gringo-5.4.0/clasp/libpotassco/tests/catch.hpp: C source, ASCII text data/gringo-5.4.0/clasp/libpotassco/tests/main.cpp: C source, ASCII text data/gringo-5.4.0/clasp/libpotassco/tests/test_application.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/tests/test_aspif.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/tests/test_common.h: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/tests/test_options.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/tests/test_smodels.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/tests/test_string_convert.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/tests/test_text.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/libpotassco/tests/test_value.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/CMakeLists.txt: C++ source, ASCII text data/gringo-5.4.0/clasp/src/asp_preprocessor.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/cb_enumerator.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/clasp_facade.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/clasp_options.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/clasp_output.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/clause.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/clingo.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/constraint.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/dependency_graph.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/enumerator.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/heuristics.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/logic_program.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/logic_program_types.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/lookahead.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/minimize_constraint.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/model_enumerators.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/parallel_solve.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/parser.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/program_builder.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/satelite.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/shared_context.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/solve_algorithms.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/solver.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/solver_strategies.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/solver_types.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/statistics.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/timer.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/unfounded_check.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/src/weight_constraint.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/tests/CMakeLists.txt: ASCII text data/gringo-5.4.0/clasp/tests/catch.hpp: C source, ASCII text data/gringo-5.4.0/clasp/tests/clause_creator_test.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/tests/clause_test.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/tests/cli_test.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/tests/decision_heuristic_test.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/tests/dependency_graph_test.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/tests/dlp_builder_test.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/tests/enumerator_test.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/tests/facade_test.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/tests/literal_test.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/tests/lpcompare.h: C++ source, ASCII text data/gringo-5.4.0/clasp/tests/minimize_test.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/tests/parser_test.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/tests/program_builder_test.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/tests/rule_test.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/tests/satelite_test.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/tests/solver_test.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/tests/test_main.cpp: C source, ASCII text data/gringo-5.4.0/clasp/tests/unfounded_check_test.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/tests/weight_constraint_test.cpp: C++ source, ASCII text data/gringo-5.4.0/clasp/tools/clasp-option-template.inl: C source, ASCII text data/gringo-5.4.0/clasp/tools/generate-pcs.sh: Bourne-Again shell script, ASCII text executable data/gringo-5.4.0/cmake/ClingoConfig.cmake.in: ASCII text data/gringo-5.4.0/cmake/FindRE2C.cmake: ASCII text data/gringo-5.4.0/cmake/clingo_functions.cmake: ASCII text data/gringo-5.4.0/cmake/glob-paths.py: Python script, ASCII text executable data/gringo-5.4.0/cmake/python-site.py: Python script, ASCII text executable data/gringo-5.4.0/doc/api/Doxyfile: ASCII text data/gringo-5.4.0/doc/api/DoxygenLayout.xml: exported SGML document, ASCII text data/gringo-5.4.0/doc/api/clingo.css: ASCII text data/gringo-5.4.0/doc/py/.gitignore: ASCII text data/gringo-5.4.0/doc/py/Gemfile: ASCII text data/gringo-5.4.0/doc/py/_config.yml: ASCII text data/gringo-5.4.0/doc/py/_gen/gen.py: Python script, ASCII text executable data/gringo-5.4.0/doc/py/_gen/monitor.sh: Bourne-Again shell script, ASCII text executable data/gringo-5.4.0/doc/py/_gen/templates/html.mako: Python script, UTF-8 Unicode text executable data/gringo-5.4.0/doc/py/_includes/head.html: HTML document, ASCII text data/gringo-5.4.0/doc/py/css/github.min.css: ASCII text, with very long lines, with no line terminators data/gringo-5.4.0/doc/py/css/pdoc.css: ASCII text data/gringo-5.4.0/doc/py/index.md: ASCII text data/gringo-5.4.0/doc/py/js/highlight.min.js: data data/gringo-5.4.0/examples/c/CMakeLists.txt: ASCII text data/gringo-5.4.0/examples/c/application.c: C source, ASCII text data/gringo-5.4.0/examples/c/ast.c: C source, ASCII text data/gringo-5.4.0/examples/c/backend.c: C source, ASCII text data/gringo-5.4.0/examples/c/configuration.c: C source, ASCII text data/gringo-5.4.0/examples/c/control.c: C source, ASCII text data/gringo-5.4.0/examples/c/model.c: C source, ASCII text data/gringo-5.4.0/examples/c/propagator.c: C source, ASCII text data/gringo-5.4.0/examples/c/solve-async.c: C source, ASCII text data/gringo-5.4.0/examples/c/statistics.c: C source, ASCII text data/gringo-5.4.0/examples/c/symbol.c: C source, ASCII text data/gringo-5.4.0/examples/c/symbolic-atoms.c: C source, ASCII text data/gringo-5.4.0/examples/c/theory-atoms.c: C source, ASCII text data/gringo-5.4.0/examples/c/version.c: C source, ASCII text data/gringo-5.4.0/examples/cc/CMakeLists.txt: ASCII text data/gringo-5.4.0/examples/cc/heuristic.cc: C++ source, ASCII text data/gringo-5.4.0/examples/cc/inject-terms.cc: C source, ASCII text data/gringo-5.4.0/examples/cc/solve-iteratively.cc: C source, ASCII text data/gringo-5.4.0/examples/clingo/15puzzle/README.md: ASCII text data/gringo-5.4.0/examples/clingo/15puzzle/encoding.lp: C source, ASCII text data/gringo-5.4.0/examples/clingo/15puzzle/instance1.lp: ASCII text data/gringo-5.4.0/examples/clingo/15puzzle/instance2.lp: ASCII text data/gringo-5.4.0/examples/clingo/addclause/README: ASCII text data/gringo-5.4.0/examples/clingo/addclause/addclause-lua.lp: ASCII text data/gringo-5.4.0/examples/clingo/addclause/addclause-py.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/blocksworld/README: ASCII text data/gringo-5.4.0/examples/clingo/blocksworld/blocks_01.lp: ASCII text data/gringo-5.4.0/examples/clingo/blocksworld/control_01.lua: ASCII text data/gringo-5.4.0/examples/clingo/blocksworld/control_01.out: ASCII text, with very long lines data/gringo-5.4.0/examples/clingo/blocksworld/lua.lp: ASCII text data/gringo-5.4.0/examples/clingo/blocksworld/lua_interpret.lp: ASCII text data/gringo-5.4.0/examples/clingo/blocksworld/world.lp: ASCII text data/gringo-5.4.0/examples/clingo/cannot/README.md: ASCII text data/gringo-5.4.0/examples/clingo/cannot/cannot-lua.lp: ASCII text data/gringo-5.4.0/examples/clingo/cannot/cannot-py.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/cannot/example.lp: ASCII text data/gringo-5.4.0/examples/clingo/commit/README: ASCII text data/gringo-5.4.0/examples/clingo/commit/commit-lua.lp: ASCII text data/gringo-5.4.0/examples/clingo/commit/commit-py.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/commit/encoding.lp: ASCII text data/gringo-5.4.0/examples/clingo/consequences/README: ASCII text data/gringo-5.4.0/examples/clingo/consequences/brave-lua.lp: ASCII text data/gringo-5.4.0/examples/clingo/consequences/brave-py.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/consequences/example.lp: ASCII text data/gringo-5.4.0/examples/clingo/context/README: ASCII text data/gringo-5.4.0/examples/clingo/context/context-lua.lp: ASCII text data/gringo-5.4.0/examples/clingo/context/context-py.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/context/encoding.lp: ASCII text data/gringo-5.4.0/examples/clingo/controller-async/README: ASCII text data/gringo-5.4.0/examples/clingo/controller-async/client.lp: ASCII text data/gringo-5.4.0/examples/clingo/controller-async/controller.py: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/controller-processes/README: ASCII text data/gringo-5.4.0/examples/clingo/controller-processes/client.lp: ASCII text data/gringo-5.4.0/examples/clingo/controller-processes/client.py: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/controller-processes/server.py: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/controller-threads/README: ASCII text data/gringo-5.4.0/examples/clingo/controller-threads/client.lp: ASCII text data/gringo-5.4.0/examples/clingo/controller-threads/controller.py: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/cover/README: ASCII text data/gringo-5.4.0/examples/clingo/cover/control-lua.lp: ASCII text data/gringo-5.4.0/examples/clingo/cover/control-py.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/cover/cover.lp: ASCII text data/gringo-5.4.0/examples/clingo/cover/instance.lp: ASCII text data/gringo-5.4.0/examples/clingo/cover/preprocess.lp: ASCII text data/gringo-5.4.0/examples/clingo/dl/README.md: ASCII text data/gringo-5.4.0/examples/clingo/dl/difference_logic.py: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/dl/dl.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/dl/dlO.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/dl/fsE.lp: ASCII text data/gringo-5.4.0/examples/clingo/dl/fsI.lp: ASCII text data/gringo-5.4.0/examples/clingo/domains/README: ASCII text data/gringo-5.4.0/examples/clingo/domains/domains-lua.lp: ASCII text data/gringo-5.4.0/examples/clingo/domains/domains-py.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/domains/instance.lp: ASCII text data/gringo-5.4.0/examples/clingo/dot-propagator/README: ASCII text data/gringo-5.4.0/examples/clingo/dot-propagator/dot.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/dot-propagator/test.lp: ASCII text data/gringo-5.4.0/examples/clingo/enum-assumption/README: ASCII text data/gringo-5.4.0/examples/clingo/enum-assumption/example-lua.lp: ASCII text data/gringo-5.4.0/examples/clingo/enum-assumption/example-py.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/excel/README.md: ASCII text data/gringo-5.4.0/examples/clingo/excel/example.lp: ASCII text data/gringo-5.4.0/examples/clingo/excel/excel-py.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/expansion/GraphColouring/encodings/encoding.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/GraphColouring/instances/0004-graph_colouring-125-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/GraphColouring/instances/0005-graph_colouring-125-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/GraphColouring/instances/0007-graph_colouring-125-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/GraphColouring/instances/0008-graph_colouring-125-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/GraphColouring/instances/0013-graph_colouring-130-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/GraphColouring/instances/0021-graph_colouring-135-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/GraphColouring/instances/0022-graph_colouring-135-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/GraphColouring/instances/0023-graph_colouring-135-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/GraphColouring/instances/0025-graph_colouring-135-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/GraphColouring/instances/0032-graph_colouring-140-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/GraphColouring/instances/0036-graph_colouring-140-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/GraphColouring/instances/0039-graph_colouring-140-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/GraphColouring/instances/0040-graph_colouring-140-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/GraphColouring/instances/0046-graph_colouring-145-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/GraphColouring/instances/0047-graph_colouring-145-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/GraphColouring/instances/0048-graph_colouring-145-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/GraphColouring/instances/0050-graph_colouring-145-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/GraphColouring/instances/0056-graph_colouring-150-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/GraphColouring/instances/0059-graph_colouring-150-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/GraphColouring/instances/0060-graph_colouring-150-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/PartnerUnits/encodings/encoding.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/PartnerUnits/instances/100-partner_units-100-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/PartnerUnits/instances/102-partner_units-100-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/PartnerUnits/instances/114-partner_units_polynomial-100-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/PartnerUnits/instances/115-partner_units_polynomial-100-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/PartnerUnits/instances/119-partner_units_polynomial-100-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/PartnerUnits/instances/127-partner_units_polynomial-100-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/PartnerUnits/instances/153-partner_units-100-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/PartnerUnits/instances/154-partner_units-100-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/PartnerUnits/instances/156-partner_units-100-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/PartnerUnits/instances/161-partner_units-100-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/PartnerUnits/instances/175-partner_units_polynomial-75-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/PartnerUnits/instances/180-partner_units_polynomial-47-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/PartnerUnits/instances/188-partner_units_polynomial-57-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/PartnerUnits/instances/196-partner_units_polynomial-59-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/PartnerUnits/instances/26-partner_units_polynomial-60-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/PartnerUnits/instances/52-partner_units_polynomial-100-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/PartnerUnits/instances/58-partner_units_polynomial-100-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/PartnerUnits/instances/69-partner_units_polynomial-100-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/PartnerUnits/instances/91-partner_units-100-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/PartnerUnits/instances/99-partner_units-100-0.lp: ASCII text data/gringo-5.4.0/examples/clingo/expansion/README: ASCII text data/gringo-5.4.0/examples/clingo/expansion/main.py: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/extend_model/README.md: ASCII text data/gringo-5.4.0/examples/clingo/extend_model/extend_model-lua.lp: ASCII text data/gringo-5.4.0/examples/clingo/extend_model/extend_model-py.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/external/README: ASCII text data/gringo-5.4.0/examples/clingo/external/external-lua.lp: ASCII text data/gringo-5.4.0/examples/clingo/external/external-py.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/external/external.lp: ASCII text data/gringo-5.4.0/examples/clingo/heuristic/README.md: ASCII text data/gringo-5.4.0/examples/clingo/heuristic/encoding-lua.lp: ASCII text data/gringo-5.4.0/examples/clingo/heuristic/encoding-py.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/heuristic/instance.lp: ASCII text data/gringo-5.4.0/examples/clingo/iclingo/README.md: ASCII text data/gringo-5.4.0/examples/clingo/iclingo/example.lp: ASCII text data/gringo-5.4.0/examples/clingo/iclingo/incmode-int.lp: C source, ASCII text data/gringo-5.4.0/examples/clingo/iclingo/incmode-lua.lp: ASCII text data/gringo-5.4.0/examples/clingo/iclingo/incmode-py.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/include/README: ASCII text data/gringo-5.4.0/examples/clingo/include/encoding-lua.lp: C source, ASCII text data/gringo-5.4.0/examples/clingo/include/encoding-py.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/include/include.lp: ASCII text data/gringo-5.4.0/examples/clingo/incqueens/README.md: ASCII text data/gringo-5.4.0/examples/clingo/incqueens/incqueens-lua.lp: ASCII text data/gringo-5.4.0/examples/clingo/incqueens/incqueens-py.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/incqueens/incqueens.lp: ASCII text data/gringo-5.4.0/examples/clingo/itersolve/README: ASCII text data/gringo-5.4.0/examples/clingo/itersolve/itersolve-lua.lp: ASCII text data/gringo-5.4.0/examples/clingo/itersolve/itersolve-py.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/itersolve/program.lp: ASCII text data/gringo-5.4.0/examples/clingo/load/README: ASCII text data/gringo-5.4.0/examples/clingo/load/load-lua.lp: ASCII text data/gringo-5.4.0/examples/clingo/load/load-py.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/load/program.lp: ASCII text data/gringo-5.4.0/examples/clingo/onmodel/README: ASCII text data/gringo-5.4.0/examples/clingo/onmodel/onmodel-lua.lp: ASCII text data/gringo-5.4.0/examples/clingo/onmodel/onmodel-py.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/opt/README.md: ASCII text data/gringo-5.4.0/examples/clingo/opt/opt.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/opt/tohB.lp: ASCII text data/gringo-5.4.0/examples/clingo/opt/tohE.lp: C source, ASCII text data/gringo-5.4.0/examples/clingo/opt/tohI.lp: ASCII text data/gringo-5.4.0/examples/clingo/planning/README: ASCII text data/gringo-5.4.0/examples/clingo/planning/convert.lp: ASCII text data/gringo-5.4.0/examples/clingo/planning/convert.sh: Bourne-Again shell script, ASCII text executable data/gringo-5.4.0/examples/clingo/planning/encoding.lp: ASCII text data/gringo-5.4.0/examples/clingo/planning/instances/coins01.lp: CSV text data/gringo-5.4.0/examples/clingo/planning/instances/comm02.lp: ASCII text data/gringo-5.4.0/examples/clingo/planning/instances/comm03.lp: ASCII text data/gringo-5.4.0/examples/clingo/planning/instances/comm05.lp: ASCII text data/gringo-5.4.0/examples/clingo/planning/instances/uts01.lp: ASCII text data/gringo-5.4.0/examples/clingo/planning/planning-lua.lp: ASCII text data/gringo-5.4.0/examples/clingo/pydoc/README: ASCII text data/gringo-5.4.0/examples/clingo/pydoc/pydoc-lib.py: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/pydoc/pydoc.lp: HTML document, ASCII text data/gringo-5.4.0/examples/clingo/robots/README.md: ASCII text data/gringo-5.4.0/examples/clingo/robots/board.lp: ASCII text data/gringo-5.4.0/examples/clingo/robots/img/arrow_blue_east.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/arrow_blue_north.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/arrow_blue_south.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/arrow_blue_west.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/arrow_green_east.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/arrow_green_north.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/arrow_green_south.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/arrow_green_west.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/arrow_red_east.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/arrow_red_north.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/arrow_red_south.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/arrow_red_west.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/arrow_yellow_east.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/arrow_yellow_north.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/arrow_yellow_south.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/arrow_yellow_west.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/moon_blue.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/moon_green.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/moon_red.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/moon_yellow.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/move_blue_east.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/move_blue_north.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/move_blue_south.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/move_blue_west.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/move_green_east.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/move_green_north.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/move_green_south.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/move_green_west.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/move_red_east.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/move_red_north.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/move_red_south.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/move_red_west.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/move_yellow_east.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/move_yellow_north.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/move_yellow_south.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/move_yellow_west.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/random_robot.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/robot_blue.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/robot_green.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/robot_red.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/robot_yellow.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/saturn_blue.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/saturn_green.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/saturn_red.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/saturn_yellow.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/star_blue.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/star_green.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/star_red.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/star_yellow.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/sun_blue.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/sun_green.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/sun_red.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/sun_yellow.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/tile_left.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/tile_right.gif: GIF image data, version 89a, 40 x 40 data/gringo-5.4.0/examples/clingo/robots/img/wall_north.gif: GIF image data, version 89a, 50 x 10 data/gringo-5.4.0/examples/clingo/robots/img/wall_west.gif: GIF image data, version 89a, 10 x 50 data/gringo-5.4.0/examples/clingo/robots/robots.lp: ASCII text data/gringo-5.4.0/examples/clingo/robots/visualize.py: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/setconf/README: ASCII text data/gringo-5.4.0/examples/clingo/setconf/setconf-lua.lp: ASCII text data/gringo-5.4.0/examples/clingo/setconf/setconf-py.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/solitaire/README.md: ASCII text data/gringo-5.4.0/examples/clingo/solitaire/instance.lp: ASCII text data/gringo-5.4.0/examples/clingo/solitaire/solitaire.lp: C source, ASCII text data/gringo-5.4.0/examples/clingo/solitaire/visualize.py: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/solve-async/README: ASCII text data/gringo-5.4.0/examples/clingo/solve-async/program.lp: ASCII text data/gringo-5.4.0/examples/clingo/solve-async/solve-async-py.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/stats/README: ASCII text data/gringo-5.4.0/examples/clingo/stats/example.lp: ASCII text data/gringo-5.4.0/examples/clingo/stats/stats-lua.lp: ASCII text data/gringo-5.4.0/examples/clingo/stats/stats-py.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/tmode/README.md: ASCII text data/gringo-5.4.0/examples/clingo/tmode/example.lp: ASCII text data/gringo-5.4.0/examples/clingo/tmode/example2.lp: ASCII text data/gringo-5.4.0/examples/clingo/tmode/visitor.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/clingo/unblock/README: ASCII text data/gringo-5.4.0/examples/clingo/unblock/inst1.lp: ASCII text data/gringo-5.4.0/examples/clingo/unblock/inst2.lp: ASCII text data/gringo-5.4.0/examples/clingo/unblock/inst3.lp: ASCII text data/gringo-5.4.0/examples/clingo/unblock/inst4.lp: ASCII text data/gringo-5.4.0/examples/clingo/unblock/inst5.lp: ASCII text data/gringo-5.4.0/examples/clingo/unblock/unblock.lp: C source, ASCII text data/gringo-5.4.0/examples/clingo/unblock/visualize.py: Python script, ASCII text executable data/gringo-5.4.0/examples/gringo/acyc/README: ASCII text data/gringo-5.4.0/examples/gringo/acyc/encoding.lp: ASCII text data/gringo-5.4.0/examples/gringo/acyc/instance.lp: ASCII text data/gringo-5.4.0/examples/gringo/ast/README: ASCII text data/gringo-5.4.0/examples/gringo/ast/example.lp: ASCII text data/gringo-5.4.0/examples/gringo/ast/visitor.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/gringo/gbie/README: UTF-8 Unicode text data/gringo-5.4.0/examples/gringo/gbie/gbie1.lp: CSV text data/gringo-5.4.0/examples/gringo/gbie/gbie2.lp: ASCII text data/gringo-5.4.0/examples/gringo/gbie/instances/sat_01.lp: CSV text data/gringo-5.4.0/examples/gringo/gbie/instances/sat_02.lp: CSV text data/gringo-5.4.0/examples/gringo/gbie/instances/sat_03.lp: CSV text data/gringo-5.4.0/examples/gringo/gbie/instances/unsat_01.lp: CSV text data/gringo-5.4.0/examples/gringo/gbie/instances/unsat_02.lp: CSV text data/gringo-5.4.0/examples/gringo/prime-implicants/README: ASCII text data/gringo-5.4.0/examples/gringo/prime-implicants/encoding.lp: ASCII text data/gringo-5.4.0/examples/gringo/prime-implicants/instance.lp: ASCII text data/gringo-5.4.0/examples/gringo/project/README: ASCII text data/gringo-5.4.0/examples/gringo/project/example.lp: ASCII text data/gringo-5.4.0/examples/gringo/queens/README: ASCII text data/gringo-5.4.0/examples/gringo/queens/queens1.lp: ASCII text data/gringo-5.4.0/examples/gringo/queens/queens2.lp: ASCII text data/gringo-5.4.0/examples/gringo/rec-cond/README: ASCII text data/gringo-5.4.0/examples/gringo/rec-cond/encoding.lp: ASCII text data/gringo-5.4.0/examples/gringo/rec-cond/instance.lp: ASCII text data/gringo-5.4.0/examples/gringo/sort/README.md: ASCII text data/gringo-5.4.0/examples/gringo/sort/encoding.lp: ASCII text data/gringo-5.4.0/examples/gringo/sort/sort-lua.lp: ASCII text data/gringo-5.4.0/examples/gringo/sort/sort-py.lp: Python script, ASCII text executable data/gringo-5.4.0/examples/gringo/subset/README: ASCII text data/gringo-5.4.0/examples/gringo/subset/example.lp: ASCII text data/gringo-5.4.0/examples/gringo/toh/README.md: ASCII text data/gringo-5.4.0/examples/gringo/toh/tohE.lp: C source, ASCII text data/gringo-5.4.0/examples/gringo/toh/tohI.lp: ASCII text data/gringo-5.4.0/examples/reify/README.md: ASCII text data/gringo-5.4.0/examples/reify/example1.lp: ASCII text data/gringo-5.4.0/examples/reify/example2.lp: ASCII text data/gringo-5.4.0/examples/reify/meta.lp: ASCII text data/gringo-5.4.0/examples/reify/metaD.lp: ASCII text data/gringo-5.4.0/examples/reify/metaO.lp: ASCII text data/gringo-5.4.0/libclingo/CMakeLists.txt: ASCII text data/gringo-5.4.0/libclingo/clingo.h: C source, ASCII text data/gringo-5.4.0/libclingo/clingo.hh: C++ source, ASCII text data/gringo-5.4.0/libclingo/clingo/ast.hh: C++ source, ASCII text data/gringo-5.4.0/libclingo/clingo/clingo_app.hh: C++ source, ASCII text data/gringo-5.4.0/libclingo/clingo/clingocontrol.hh: C++ source, ASCII text data/gringo-5.4.0/libclingo/clingo/control.hh: C++ source, ASCII text data/gringo-5.4.0/libclingo/clingo/incmode.hh: C++ source, ASCII text data/gringo-5.4.0/libclingo/clingo/script.h: C source, ASCII text data/gringo-5.4.0/libclingo/clingo/scripts.hh: C++ source, ASCII text data/gringo-5.4.0/libclingo/src/ast.cc: C++ source, ASCII text data/gringo-5.4.0/libclingo/src/clingo_app.cc: C++ source, ASCII text, with very long lines data/gringo-5.4.0/libclingo/src/clingocontrol.cc: C++ source, ASCII text data/gringo-5.4.0/libclingo/src/control.cc: C++ source, ASCII text data/gringo-5.4.0/libclingo/src/gringo_app.cc: C++ source, ASCII text data/gringo-5.4.0/libclingo/src/incmode.cc: C++ source, ASCII text data/gringo-5.4.0/libclingo/src/scripts.cc: C++ source, ASCII text data/gringo-5.4.0/libclingo/tests/CMakeLists.txt: ASCII text data/gringo-5.4.0/libclingo/tests/ast.cc: C++ source, ASCII text data/gringo-5.4.0/libclingo/tests/catch.hpp: C++ source, ASCII text, with very long lines data/gringo-5.4.0/libclingo/tests/clingo.cc: C++ source, ASCII text data/gringo-5.4.0/libclingo/tests/main.cc: C source, ASCII text data/gringo-5.4.0/libclingo/tests/propagator.cc: C++ source, ASCII text data/gringo-5.4.0/libclingo/tests/symbol.cc: C++ source, ASCII text data/gringo-5.4.0/libclingo/tests/tests.hh: C++ source, ASCII text data/gringo-5.4.0/libclingo/tests/variant.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/CMakeLists.txt: TeX document, ASCII text data/gringo-5.4.0/libgringo/gen/src/input/clingopath.hh: ASCII text data/gringo-5.4.0/libgringo/gen/src/input/groundtermgrammar/grammar.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/gen/src/input/groundtermgrammar/grammar.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gen/src/input/groundtermgrammar/location.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gen/src/input/groundtermgrammar/position.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gen/src/input/groundtermgrammar/stack.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gen/src/input/groundtermlexer.hh: ASCII text data/gringo-5.4.0/libgringo/gen/src/input/nongroundgrammar/grammar.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/gen/src/input/nongroundgrammar/grammar.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gen/src/input/nongroundgrammar/stack.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gen/src/input/nongroundlexer.hh: ASCII text data/gringo-5.4.0/libgringo/gringo/backend.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/backtrace.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/base.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/bug.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/clonable.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/comparable.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/domain.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/graph.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/ground/binders.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/ground/dependency.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/ground/instantiation.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/ground/literal.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/ground/literals.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/ground/program.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/ground/statement.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/ground/statements.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/ground/types.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/hash_set.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/hashable.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/indexed.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/input/aggregate.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/input/aggregates.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/input/groundtermparser.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/input/literal.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/input/literals.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/input/nongroundparser.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/input/program.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/input/programbuilder.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/input/statement.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/input/theory.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/input/types.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/intervals.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/lexerstate.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/locatable.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/logger.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/output/aggregates.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/output/backends.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/output/literal.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/output/literals.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/output/output.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/output/statement.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/output/statements.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/output/theory.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/output/types.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/primes.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/printable.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/safetycheck.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/symbol.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/term.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/terms.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/types.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/gringo/utility.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/src/backend.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/src/ground/instantiation.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/src/ground/literals.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/src/ground/program.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/src/ground/statements.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/src/input/aggregate.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/src/input/aggregates.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/src/input/clingopath.hh.in: ASCII text data/gringo-5.4.0/libgringo/src/input/groundtermgrammar.yy: C source, ASCII text data/gringo-5.4.0/libgringo/src/input/groundtermlexer.xh: ASCII text data/gringo-5.4.0/libgringo/src/input/groundtermparser.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/src/input/literal.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/src/input/literals.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/src/input/nongroundgrammar.yy: C source, ASCII text, with very long lines data/gringo-5.4.0/libgringo/src/input/nongroundlexer.xch: ASCII text data/gringo-5.4.0/libgringo/src/input/nongroundparser.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/src/input/program.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/src/input/programbuilder.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/src/input/statement.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/src/input/theory.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/src/output/aggregates.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/src/output/literal.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/src/output/literals.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/src/output/output.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/src/output/statement.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/src/output/statements.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/src/output/theory.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/src/primes.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/src/symbol.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/src/term.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/src/terms.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/CMakeLists.txt: TeX document, ASCII text data/gringo-5.4.0/libgringo/tests/catch.hpp: C++ source, ASCII text, with very long lines data/gringo-5.4.0/libgringo/tests/graph.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/ground/dependency.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/ground/grounder_helper.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/ground/instantiation.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/ground/literal.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/ground/program.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/ground/theory.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/input/aggregate.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/input/aggregate_helper.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/input/lit_helper.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/input/literal.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/input/nongroundgrammar.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/input/nongroundlexer.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/input/parse_term.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/input/program.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/input/programbuilder.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/intervals.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/main.cc: C source, ASCII text data/gringo-5.4.0/libgringo/tests/output/aspcomp13.cc: C++ source, UTF-8 Unicode text, with very long lines data/gringo-5.4.0/libgringo/tests/output/incremental.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/output/lparse.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/output/solver_helper.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/output/theory.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/output/warnings.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/python.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/safetycheck.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/symbol.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/term.cc: C++ source, ASCII text, with very long lines data/gringo-5.4.0/libgringo/tests/term_helper.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/tests.hh: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/unique_vec.cc: C++ source, ASCII text data/gringo-5.4.0/libgringo/tests/utility.cc: C++ source, ASCII text data/gringo-5.4.0/libluaclingo/CMakeLists.txt: ASCII text data/gringo-5.4.0/libluaclingo/luaclingo.cc: C++ source, ASCII text data/gringo-5.4.0/libluaclingo/luaclingo.h: C source, ASCII text data/gringo-5.4.0/libpyclingo/CMakeLists.txt: ASCII text data/gringo-5.4.0/libpyclingo/pyclingo.h: C source, ASCII text data/gringo-5.4.0/libpyclingo/pyclingo.cc: C++ source, UTF-8 Unicode text, with very long lines data/gringo-5.4.0/libreify/CMakeLists.txt: ASCII text data/gringo-5.4.0/libreify/reify/program.hh: C++ source, ASCII text data/gringo-5.4.0/libreify/reify/util.hh: C++ source, ASCII text data/gringo-5.4.0/libreify/src/program.cc: C++ source, ASCII text data/gringo-5.4.0/libreify/tests/CMakeLists.txt: ASCII text data/gringo-5.4.0/libreify/tests/catch.hpp: C++ source, ASCII text, with very long lines data/gringo-5.4.0/libreify/tests/main.cc: C source, ASCII text data/gringo-5.4.0/libreify/tests/program.cc: C++ source, ASCII text data/gringo-5.4.0/debian/NEWS: ASCII text data/gringo-5.4.0/debian/TODO: ASCII text data/gringo-5.4.0/debian/changelog: ASCII text data/gringo-5.4.0/debian/control: ASCII text data/gringo-5.4.0/debian/copyright: ASCII text data/gringo-5.4.0/debian/docs: ASCII text data/gringo-5.4.0/debian/gbp.conf: ASCII text data/gringo-5.4.0/debian/gringo.links: ASCII text data/gringo-5.4.0/debian/gringo.manpages: ASCII text data/gringo-5.4.0/debian/install: ASCII text data/gringo-5.4.0/debian/missing-sources/doc/py/js/highlight.js: ASCII text data/gringo-5.4.0/debian/patches/gringo-manpages.patch: unified diff output, ASCII text data/gringo-5.4.0/debian/patches/gringo-python3-utf8.patch: unified diff output, ASCII text data/gringo-5.4.0/debian/patches/link-libatomic-check.patch: unified diff output, ASCII text data/gringo-5.4.0/debian/patches/python3.8-compat.patch: unified diff output, ASCII text data/gringo-5.4.0/debian/patches/series: ASCII text data/gringo-5.4.0/debian/rules: a /usr/bin/make -f script, ASCII text executable, with very long lines data/gringo-5.4.0/debian/source/format: ASCII text data/gringo-5.4.0/debian/symbols: ASCII text, with very long lines data/gringo-5.4.0/debian/tests/control: ASCII text data/gringo-5.4.0/debian/tests/gringo0: Bourne-Again shell script, ASCII text executable data/gringo-5.4.0/debian/tests/gringo1: Bourne-Again shell script, ASCII text executable data/gringo-5.4.0/debian/tests/gringo2: Bourne-Again shell script, ASCII text executable data/gringo-5.4.0/debian/tests/gringo3: Bourne-Again shell script, ASCII text executable data/gringo-5.4.0/debian/tests/gringo4: Bourne-Again shell script, ASCII text executable data/gringo-5.4.0/debian/tests/gringo5: Bourne-Again shell script, ASCII text executable data/gringo-5.4.0/debian/tests/gringo6: Bourne-Again shell script, ASCII text executable data/gringo-5.4.0/debian/tests/gringo7: Bourne-Again shell script, ASCII text executable data/gringo-5.4.0/debian/upstream/metadata: UTF-8 Unicode text data/gringo-5.4.0/debian/watch: ASCII text data/gringo-5.4.0/.pc/.version: ASCII text data/gringo-5.4.0/.pc/.quilt_patches: ASCII text data/gringo-5.4.0/.pc/.quilt_series: ASCII text data/gringo-5.4.0/.pc/applied-patches: ASCII text data/gringo-5.4.0/.pc/gringo-manpages.patch/clingo.1: empty data/gringo-5.4.0/.pc/gringo-manpages.patch/gringo.1: empty data/gringo-5.4.0/.pc/gringo-manpages.patch/lpconvert.1: empty data/gringo-5.4.0/.pc/gringo-manpages.patch/reify.1: empty data/gringo-5.4.0/.pc/gringo-python3-utf8.patch/app/clingo/tests/run.py: Python script, ASCII text executable data/gringo-5.4.0/.pc/python3.8-compat.patch/libpyclingo/pyclingo.cc: C++ source, UTF-8 Unicode text, with very long lines data/gringo-5.4.0/.pc/link-libatomic-check.patch/CMakeLists.txt: ASCII text data/gringo-5.4.0/clingo.1: troff or preprocessor input, ASCII text data/gringo-5.4.0/gringo.1: troff or preprocessor input, ASCII text data/gringo-5.4.0/lpconvert.1: troff or preprocessor input, ASCII text data/gringo-5.4.0/reify.1: troff or preprocessor input, ASCII text data/gringo-5.4.0/CMakeLists.txt: C source, ASCII text