projects / gringo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
Import gringo_5.3.0.orig.tar.gz
authorThomas Krennwallner <tkren@kr.tuwien.ac.at>
Sun, 11 Nov 2018 07:56:35 +0000 (07:56 +0000)
committerThomas Krennwallner <tkren@kr.tuwien.ac.at>
Sun, 11 Nov 2018 07:56:35 +0000 (07:56 +0000)
commitf3be172da790356fb7149be0a4638045e6a22e7c
tree5a6488bd32aa014d87053263ddf54ef733ba33c7tree | snapshot
Import gringo_5.3.0.orig.tar.gz

[dgit import orig gringo_5.3.0.orig.tar.gz]
861 files changed:
.gitignore [new file with mode: 0644] blob
.travis.yml [new file with mode: 0644] blob
.ycm_extra_conf.py [new file with mode: 0644] blob
CHANGES.md [new file with mode: 0644] blob
CMakeLists.txt [new file with mode: 0644] blob
INSTALL.md [new file with mode: 0644] blob
LICENSE.md [new file with mode: 0644] blob
README.md [new file with mode: 0644] blob
app/clingo/CMakeLists.txt [new file with mode: 0644] blob
app/clingo/main.cc [new file with mode: 0644] blob
app/clingo/tests/CMakeLists.txt [new file with mode: 0644] blob
app/clingo/tests/lp/aggregates.lp [new file with mode: 0644] blob
app/clingo/tests/lp/aggregates.sol [new file with mode: 0644] blob
app/clingo/tests/lp/bio.cmd [new file with mode: 0644] blob
app/clingo/tests/lp/bio.lp [new file with mode: 0644] blob
app/clingo/tests/lp/bio.sol [new file with mode: 0644] blob
app/clingo/tests/lp/elevator.lp [new file with mode: 0644] blob
app/clingo/tests/lp/elevator.sol [new file with mode: 0644] blob
app/clingo/tests/lp/istop.lp [new file with mode: 0644] blob
app/clingo/tests/lp/istop.sol [new file with mode: 0644] blob
app/clingo/tests/lp/numbers.lp [new file with mode: 0644] blob
app/clingo/tests/lp/numbers.sol [new file with mode: 0644] blob
app/clingo/tests/lp/project.cmd [new file with mode: 0644] blob
app/clingo/tests/lp/project.lp [new file with mode: 0644] blob
app/clingo/tests/lp/project.sol [new file with mode: 0644] blob
app/clingo/tests/lp/show.lp [new file with mode: 0644] blob
app/clingo/tests/lp/show.sol [new file with mode: 0644] blob
app/clingo/tests/lp/subset.cmd [new file with mode: 0644] blob
app/clingo/tests/lp/subset.lp [new file with mode: 0644] blob
app/clingo/tests/lp/subset.sol [new file with mode: 0644] blob
app/clingo/tests/lua/add_atom.lp [new file with mode: 0644] blob
app/clingo/tests/lua/add_atom.sol [new file with mode: 0644] blob
app/clingo/tests/lua/add_watch.lp [new file with mode: 0644] blob
app/clingo/tests/lua/add_watch.sol [new file with mode: 0644] blob
app/clingo/tests/lua/assumptions1.lp [new file with mode: 0644] blob
app/clingo/tests/lua/assumptions1.sol [new file with mode: 0644] blob
app/clingo/tests/lua/assumptions2.lp [new file with mode: 0644] blob
app/clingo/tests/lua/assumptions2.sol [new file with mode: 0644] blob
app/clingo/tests/lua/assumptions3.lp [new file with mode: 0644] blob
app/clingo/tests/lua/assumptions3.sol [new file with mode: 0644] blob
app/clingo/tests/lua/assumptions4.lp [new file with mode: 0644] blob
app/clingo/tests/lua/assumptions4.sol [new file with mode: 0644] blob
app/clingo/tests/lua/blocksworld1.lp [new file with mode: 0644] blob
app/clingo/tests/lua/blocksworld1.sol [new file with mode: 0644] blob
app/clingo/tests/lua/check-lua.lp [new file with mode: 0644] blob
app/clingo/tests/lua/check-lua.sol [new file with mode: 0644] blob
app/clingo/tests/lua/conflicting.lp [new file with mode: 0644] blob
app/clingo/tests/lua/conflicting.sol [new file with mode: 0644] blob
app/clingo/tests/lua/conformant1.lp [new file with mode: 0644] blob
app/clingo/tests/lua/conformant1.sol [new file with mode: 0644] blob
app/clingo/tests/lua/conformant2.lp [new file with mode: 0644] blob
app/clingo/tests/lua/conformant2.sol [new file with mode: 0644] blob
app/clingo/tests/lua/conformant3.lp [new file with mode: 0644] blob
app/clingo/tests/lua/conformant3.sol [new file with mode: 0644] blob
app/clingo/tests/lua/cover-lua.lp [new file with mode: 0644] blob
app/clingo/tests/lua/cover-lua.sol [new file with mode: 0644] blob
app/clingo/tests/lua/csp-shrinking.lp [new file with mode: 0644] blob
app/clingo/tests/lua/csp-shrinking.sol [new file with mode: 0644] blob
app/clingo/tests/lua/domain.lp [new file with mode: 0644] blob
app/clingo/tests/lua/domain.sol [new file with mode: 0644] blob
app/clingo/tests/lua/extend-model.lp [new file with mode: 0644] blob
app/clingo/tests/lua/extend-model.sol [new file with mode: 0644] blob
app/clingo/tests/lua/externals.lp [new file with mode: 0644] blob
app/clingo/tests/lua/externals.sol [new file with mode: 0644] blob
app/clingo/tests/lua/iclingo.lp [new file with mode: 0644] blob
app/clingo/tests/lua/iclingo.sol [new file with mode: 0644] blob
app/clingo/tests/lua/icolor.lp [new file with mode: 0644] blob
app/clingo/tests/lua/icolor.sol [new file with mode: 0644] blob
app/clingo/tests/lua/inccsp-onmodel.cmd [new file with mode: 0644] blob
app/clingo/tests/lua/inccsp-onmodel.lp [new file with mode: 0644] blob
app/clingo/tests/lua/inccsp-onmodel.sol [new file with mode: 0644] blob
app/clingo/tests/lua/inccsp.lp [new file with mode: 0644] blob
app/clingo/tests/lua/inccsp.sol [new file with mode: 0644] blob
app/clingo/tests/lua/incshow.lp [new file with mode: 0644] blob
app/clingo/tests/lua/incshow.sol [new file with mode: 0644] blob
app/clingo/tests/lua/infsup.lp [new file with mode: 0644] blob
app/clingo/tests/lua/infsup.sol [new file with mode: 0644] blob
app/clingo/tests/lua/logger.lp [new file with mode: 0644] blob
app/clingo/tests/lua/logger.sol [new file with mode: 0644] blob
app/clingo/tests/lua/mutex-bug.lp [new file with mode: 0644] blob
app/clingo/tests/lua/mutex-bug.sol [new file with mode: 0644] blob
app/clingo/tests/lua/observer-replace.lp [new file with mode: 0644] blob
app/clingo/tests/lua/observer-replace.sol [new file with mode: 0644] blob
app/clingo/tests/lua/observer.cmd [new file with mode: 0644] blob
app/clingo/tests/lua/observer.lp [new file with mode: 0644] blob
app/clingo/tests/lua/observer.sol [new file with mode: 0644] blob
app/clingo/tests/lua/parse-term.lp [new file with mode: 0644] blob
app/clingo/tests/lua/parse-term.sol [new file with mode: 0644] blob
app/clingo/tests/lua/project_bug.lp [new file with mode: 0644] blob
app/clingo/tests/lua/project_bug.sol [new file with mode: 0644] blob
app/clingo/tests/lua/propagator.cmd [new file with mode: 0644] blob
app/clingo/tests/lua/propagator.lp [new file with mode: 0644] blob
app/clingo/tests/lua/propagator.sol [new file with mode: 0644] blob
app/clingo/tests/lua/queens.lp [new file with mode: 0644] blob
app/clingo/tests/lua/queens.sol [new file with mode: 0644] blob
app/clingo/tests/lua/robots.lp [new file with mode: 0644] blob
app/clingo/tests/lua/robots.sol [new file with mode: 0644] blob
app/clingo/tests/lua/setconfig.lp [new file with mode: 0644] blob
app/clingo/tests/lua/setconfig.sol [new file with mode: 0644] blob
app/clingo/tests/lua/show.lp [new file with mode: 0644] blob
app/clingo/tests/lua/show.sol [new file with mode: 0644] blob
app/clingo/tests/lua/sokoban.lp [new file with mode: 0644] blob
app/clingo/tests/lua/sokoban.sol [new file with mode: 0644] blob
app/clingo/tests/lua/sokoban_back.lp [new file with mode: 0644] blob
app/clingo/tests/lua/sokoban_back.sol [new file with mode: 0644] blob
app/clingo/tests/lua/sokoban_para.lp [new file with mode: 0644] blob
app/clingo/tests/lua/sokoban_para.sol [new file with mode: 0644] blob
app/clingo/tests/lua/solitaire_para.lp [new file with mode: 0644] blob
app/clingo/tests/lua/solitaire_para.sol [new file with mode: 0644] blob
app/clingo/tests/lua/solitaire_sort.lp [new file with mode: 0644] blob
app/clingo/tests/lua/solitaire_sort.sol [new file with mode: 0644] blob
app/clingo/tests/lua/test-numeric.lp [new file with mode: 0644] blob
app/clingo/tests/lua/test-numeric.sol [new file with mode: 0644] blob
app/clingo/tests/lua/test.lp [new file with mode: 0644] blob
app/clingo/tests/lua/test.sol [new file with mode: 0644] blob
app/clingo/tests/lua/theory-term-types.lp [new file with mode: 0644] blob
app/clingo/tests/lua/theory-term-types.sol [new file with mode: 0644] blob
app/clingo/tests/lua/theory.lp [new file with mode: 0644] blob
app/clingo/tests/lua/theory.sol [new file with mode: 0644] blob
app/clingo/tests/lua/toh.lp [new file with mode: 0644] blob
app/clingo/tests/lua/toh.sol [new file with mode: 0644] blob
app/clingo/tests/lua/unsat-sync.lp [new file with mode: 0644] blob
app/clingo/tests/lua/unsat-sync.sol [new file with mode: 0644] blob
app/clingo/tests/python/add_atom.lp [new file with mode: 0644] blob
app/clingo/tests/python/add_atom.sol [new file with mode: 0644] blob
app/clingo/tests/python/add_watch.lp [new file with mode: 0644] blob
app/clingo/tests/python/add_watch.sol [new file with mode: 0644] blob
app/clingo/tests/python/assumptions1.lp [new file with mode: 0644] blob
app/clingo/tests/python/assumptions1.sol [new file with mode: 0644] blob
app/clingo/tests/python/assumptions2.lp [new file with mode: 0644] blob
app/clingo/tests/python/assumptions2.sol [new file with mode: 0644] blob
app/clingo/tests/python/assumptions3.lp [new file with mode: 0644] blob
app/clingo/tests/python/assumptions3.sol [new file with mode: 0644] blob
app/clingo/tests/python/assumptions4.lp [new file with mode: 0644] blob
app/clingo/tests/python/assumptions4.sol [new file with mode: 0644] blob
app/clingo/tests/python/ast.lp [new file with mode: 0644] blob
app/clingo/tests/python/ast.sol [new file with mode: 0644] blob
app/clingo/tests/python/ast2.lp [new file with mode: 0644] blob
app/clingo/tests/python/ast2.sol [new file with mode: 0644] blob
app/clingo/tests/python/ast3.lp [new file with mode: 0644] blob
app/clingo/tests/python/ast3.sol [new file with mode: 0644] blob
app/clingo/tests/python/blocksworld1.lp [new file with mode: 0644] blob
app/clingo/tests/python/blocksworld1.sol [new file with mode: 0644] blob
app/clingo/tests/python/cancel.lp [new file with mode: 0644] blob
app/clingo/tests/python/cancel.sol [new file with mode: 0644] blob
app/clingo/tests/python/check-py.lp [new file with mode: 0644] blob
app/clingo/tests/python/check-py.sol [new file with mode: 0644] blob
app/clingo/tests/python/conflicting.lp [new file with mode: 0644] blob
app/clingo/tests/python/conflicting.sol [new file with mode: 0644] blob
app/clingo/tests/python/cover-py.lp [new file with mode: 0644] blob
app/clingo/tests/python/cover-py.sol [new file with mode: 0644] blob
app/clingo/tests/python/domain.lp [new file with mode: 0644] blob
app/clingo/tests/python/domain.sol [new file with mode: 0644] blob
app/clingo/tests/python/extend-model.lp [new file with mode: 0644] blob
app/clingo/tests/python/extend-model.sol [new file with mode: 0644] blob
app/clingo/tests/python/external-lookup.lp [new file with mode: 0644] blob
app/clingo/tests/python/external-lookup.sol [new file with mode: 0644] blob
app/clingo/tests/python/externals.lp [new file with mode: 0644] blob
app/clingo/tests/python/externals.sol [new file with mode: 0644] blob
app/clingo/tests/python/iclingo.lp [new file with mode: 0644] blob
app/clingo/tests/python/iclingo.sol [new file with mode: 0644] blob
app/clingo/tests/python/infsup.lp [new file with mode: 0644] blob
app/clingo/tests/python/infsup.sol [new file with mode: 0644] blob
app/clingo/tests/python/interrupt.lp [new file with mode: 0644] blob
app/clingo/tests/python/interrupt.sol [new file with mode: 0644] blob
app/clingo/tests/python/logger.lp [new file with mode: 0644] blob
app/clingo/tests/python/logger.sol [new file with mode: 0644] blob
app/clingo/tests/python/multi.lp [new file with mode: 0644] blob
app/clingo/tests/python/multi.sol [new file with mode: 0644] blob
app/clingo/tests/python/observer-replace.lp [new file with mode: 0644] blob
app/clingo/tests/python/observer-replace.sol [new file with mode: 0644] blob
app/clingo/tests/python/observer.cmd [new file with mode: 0644] blob
app/clingo/tests/python/observer.lp [new file with mode: 0644] blob
app/clingo/tests/python/observer.sol [new file with mode: 0644] blob
app/clingo/tests/python/parse-term.lp [new file with mode: 0644] blob
app/clingo/tests/python/parse-term.sol [new file with mode: 0644] blob
app/clingo/tests/python/project.lp [new file with mode: 0644] blob
app/clingo/tests/python/project.sol [new file with mode: 0644] blob
app/clingo/tests/python/propagator.cmd [new file with mode: 0644] blob
app/clingo/tests/python/propagator.lp [new file with mode: 0644] blob
app/clingo/tests/python/propagator.sol [new file with mode: 0644] blob
app/clingo/tests/python/queens.lp [new file with mode: 0644] blob
app/clingo/tests/python/queens.sol [new file with mode: 0644] blob
app/clingo/tests/python/setconfig.lp [new file with mode: 0644] blob
app/clingo/tests/python/setconfig.sol [new file with mode: 0644] blob
app/clingo/tests/python/show.lp [new file with mode: 0644] blob
app/clingo/tests/python/show.sol [new file with mode: 0644] blob
app/clingo/tests/python/sokoban.cmd [new file with mode: 0644] blob
app/clingo/tests/python/sokoban.lp [new file with mode: 0644] blob
app/clingo/tests/python/sokoban.sol [new file with mode: 0644] blob
app/clingo/tests/python/statistics.lp [new file with mode: 0644] blob
app/clingo/tests/python/statistics.sol [new file with mode: 0644] blob
app/clingo/tests/python/tag.lp [new file with mode: 0644] blob
app/clingo/tests/python/tag.sol [new file with mode: 0644] blob
app/clingo/tests/python/test-numeric.lp [new file with mode: 0644] blob
app/clingo/tests/python/test-numeric.sol [new file with mode: 0644] blob
app/clingo/tests/python/test.lp [new file with mode: 0644] blob
app/clingo/tests/python/test.sol [new file with mode: 0644] blob
app/clingo/tests/run.py [new file with mode: 0755] blob
app/gringo/CMakeLists.txt [new file with mode: 0644] blob
app/gringo/main.cc [new file with mode: 0644] blob
app/luaclingo/CMakeLists.txt [new file with mode: 0644] blob
app/luaclingo/main.cc [new file with mode: 0644] blob
app/pyclingo/CMakeLists.txt [new file with mode: 0644] blob
app/pyclingo/main.cc [new file with mode: 0644] blob
app/reify/CMakeLists.txt [new file with mode: 0644] blob
app/reify/main.cc [new file with mode: 0644] blob
app/web/CMakeLists.txt [new file with mode: 0644] blob
app/web/main.cc [new file with mode: 0644] blob
clasp/.gitignore [new file with mode: 0644] blob
clasp/.gitmodules [new file with mode: 0644] blob
clasp/.travis.yml [new file with mode: 0644] blob
clasp/CHANGES [new file with mode: 0644] blob
clasp/CMakeLists.txt [new file with mode: 0644] blob
clasp/LICENSE [new file with mode: 0644] blob
clasp/README.md [new file with mode: 0644] blob
clasp/app/CMakeLists.txt [new file with mode: 0644] blob
clasp/app/clasp_app.cpp [new file with mode: 0644] blob
clasp/app/clasp_app.h [new file with mode: 0644] blob
clasp/app/main.cpp [new file with mode: 0644] blob
clasp/clasp/asp_preprocessor.h [new file with mode: 0644] blob
clasp/clasp/cb_enumerator.h [new file with mode: 0644] blob
clasp/clasp/clasp_facade.h [new file with mode: 0644] blob
clasp/clasp/claspfwd.h [new file with mode: 0644] blob
clasp/clasp/clause.h [new file with mode: 0644] blob
clasp/clasp/cli/clasp_cli_configs.inl [new file with mode: 0644] blob
clasp/clasp/cli/clasp_cli_options.inl [new file with mode: 0644] blob
clasp/clasp/cli/clasp_options.h [new file with mode: 0644] blob
clasp/clasp/cli/clasp_output.h [new file with mode: 0644] blob
clasp/clasp/clingo.h [new file with mode: 0644] blob
clasp/clasp/config.h.in [new file with mode: 0644] blob
clasp/clasp/constraint.h [new file with mode: 0644] blob
clasp/clasp/dependency_graph.h [new file with mode: 0644] blob
clasp/clasp/enumerator.h [new file with mode: 0644] blob
clasp/clasp/heuristics.h [new file with mode: 0644] blob
clasp/clasp/literal.h [new file with mode: 0644] blob
clasp/clasp/logic_program.h [new file with mode: 0644] blob
clasp/clasp/logic_program_types.h [new file with mode: 0644] blob
clasp/clasp/lookahead.h [new file with mode: 0644] blob
clasp/clasp/minimize_constraint.h [new file with mode: 0644] blob
clasp/clasp/model_enumerators.h [new file with mode: 0644] blob
clasp/clasp/mt/mutex.h [new file with mode: 0644] blob
clasp/clasp/mt/parallel_solve.h [new file with mode: 0644] blob
clasp/clasp/mt/thread.h [new file with mode: 0644] blob
clasp/clasp/parser.h [new file with mode: 0644] blob
clasp/clasp/pod_vector.h [new file with mode: 0644] blob
clasp/clasp/program_builder.h [new file with mode: 0644] blob
clasp/clasp/satelite.h [new file with mode: 0644] blob
clasp/clasp/shared_context.h [new file with mode: 0644] blob
clasp/clasp/solve_algorithms.h [new file with mode: 0644] blob
clasp/clasp/solver.h [new file with mode: 0644] blob
clasp/clasp/solver_strategies.h [new file with mode: 0644] blob
clasp/clasp/solver_types.h [new file with mode: 0644] blob
clasp/clasp/statistics.h [new file with mode: 0644] blob
clasp/clasp/unfounded_check.h [new file with mode: 0644] blob
clasp/clasp/util/hash.h [new file with mode: 0644] blob
clasp/clasp/util/indexed_priority_queue.h [new file with mode: 0644] blob
clasp/clasp/util/left_right_sequence.h [new file with mode: 0644] blob
clasp/clasp/util/misc_types.h [new file with mode: 0644] blob
clasp/clasp/util/multi_queue.h [new file with mode: 0644] blob
clasp/clasp/util/pod_vector.h [new file with mode: 0644] blob
clasp/clasp/util/timer.h [new file with mode: 0644] blob
clasp/clasp/util/type_manip.h [new file with mode: 0644] blob
clasp/clasp/weight_constraint.h [new file with mode: 0644] blob
clasp/cmake/clasp-config-version.cmake.in [new file with mode: 0644] blob
clasp/cmake/clasp-config.cmake.in [new file with mode: 0644] blob
clasp/create-archive.sh [new file with mode: 0755] blob
clasp/doc/api/clasp.doxy [new file with mode: 0644] blob
clasp/doc/api/clasp.txt [new file with mode: 0644] blob
clasp/doc/api/layout.css [new file with mode: 0644] blob
clasp/doc/api/layout.xml [new file with mode: 0644] blob
clasp/doc/api/potassco-logo.png [new file with mode: 0644] blob
clasp/examples/CMakeLists.txt [new file with mode: 0644] blob
clasp/examples/example.h [new file with mode: 0644] blob
clasp/examples/example1.cpp [new file with mode: 0644] blob
clasp/examples/example2.cpp [new file with mode: 0644] blob
clasp/examples/example3.cpp [new file with mode: 0644] blob
clasp/examples/example4.cpp [new file with mode: 0644] blob
clasp/examples/main.cpp [new file with mode: 0644] blob
clasp/libpotassco/.gitignore [new file with mode: 0644] blob
clasp/libpotassco/.travis.yml [new file with mode: 0644] blob
clasp/libpotassco/CMakeLists.txt [new file with mode: 0644] blob
clasp/libpotassco/LICENSE [new file with mode: 0644] blob
clasp/libpotassco/README.md [new file with mode: 0644] blob
clasp/libpotassco/app/CMakeLists.txt [new file with mode: 0644] blob
clasp/libpotassco/app/lpconvert.cpp [new file with mode: 0644] blob
clasp/libpotassco/cmake/potassco-config-version.cmake.in [new file with mode: 0644] blob
clasp/libpotassco/cmake/potassco-config.cmake [new file with mode: 0644] blob
clasp/libpotassco/doc/Doxyfile [new file with mode: 0644] blob
clasp/libpotassco/doc/layout.css [new file with mode: 0644] blob
clasp/libpotassco/doc/layout.xml [new file with mode: 0644] blob
clasp/libpotassco/doc/potassco-logo.png [new file with mode: 0644] blob
clasp/libpotassco/potassco/application.h [new file with mode: 0644] blob
clasp/libpotassco/potassco/aspif.h [new file with mode: 0644] blob
clasp/libpotassco/potassco/aspif_text.h [new file with mode: 0644] blob
clasp/libpotassco/potassco/basic_types.h [new file with mode: 0644] blob
clasp/libpotassco/potassco/clingo.h [new file with mode: 0644] blob
clasp/libpotassco/potassco/convert.h [new file with mode: 0644] blob
clasp/libpotassco/potassco/match_basic_types.h [new file with mode: 0644] blob
clasp/libpotassco/potassco/platform.h [new file with mode: 0644] blob
clasp/libpotassco/potassco/program_opts/detail/notifier.h [new file with mode: 0644] blob
clasp/libpotassco/potassco/program_opts/detail/refcountable.h [new file with mode: 0644] blob
clasp/libpotassco/potassco/program_opts/detail/value_store.h [new file with mode: 0644] blob
clasp/libpotassco/potassco/program_opts/errors.h [new file with mode: 0644] blob
clasp/libpotassco/potassco/program_opts/mapped_value.h [new file with mode: 0644] blob
clasp/libpotassco/potassco/program_opts/program_options.h [new file with mode: 0644] blob
clasp/libpotassco/potassco/program_opts/typed_value.h [new file with mode: 0644] blob
clasp/libpotassco/potassco/program_opts/value.h [new file with mode: 0644] blob
clasp/libpotassco/potassco/program_opts/value_store.h [new file with mode: 0644] blob
clasp/libpotassco/potassco/rule_utils.h [new file with mode: 0644] blob
clasp/libpotassco/potassco/smodels.h [new file with mode: 0644] blob
clasp/libpotassco/potassco/string_convert.h [new file with mode: 0644] blob
clasp/libpotassco/potassco/theory_data.h [new file with mode: 0644] blob
clasp/libpotassco/src/CMakeLists.txt [new file with mode: 0644] blob
clasp/libpotassco/src/application.cpp [new file with mode: 0644] blob
clasp/libpotassco/src/aspif.cpp [new file with mode: 0644] blob
clasp/libpotassco/src/aspif_text.cpp [new file with mode: 0644] blob
clasp/libpotassco/src/clingo.cpp [new file with mode: 0644] blob
clasp/libpotassco/src/convert.cpp [new file with mode: 0644] blob
clasp/libpotassco/src/match_basic_types.cpp [new file with mode: 0644] blob
clasp/libpotassco/src/program_options.cpp [new file with mode: 0644] blob
clasp/libpotassco/src/rule_utils.cpp [new file with mode: 0644] blob
clasp/libpotassco/src/smodels.cpp [new file with mode: 0644] blob
clasp/libpotassco/src/string_convert.cpp [new file with mode: 0644] blob
clasp/libpotassco/src/theory_data.cpp [new file with mode: 0644] blob
clasp/libpotassco/src/value_store.cpp [new file with mode: 0644] blob
clasp/libpotassco/tests/CMakeLists.txt [new file with mode: 0644] blob
clasp/libpotassco/tests/catch.hpp [new file with mode: 0644] blob
clasp/libpotassco/tests/main.cpp [new file with mode: 0644] blob
clasp/libpotassco/tests/test_application.cpp [new file with mode: 0644] blob
clasp/libpotassco/tests/test_aspif.cpp [new file with mode: 0644] blob
clasp/libpotassco/tests/test_common.h [new file with mode: 0644] blob
clasp/libpotassco/tests/test_options.cpp [new file with mode: 0644] blob
clasp/libpotassco/tests/test_smodels.cpp [new file with mode: 0644] blob
clasp/libpotassco/tests/test_string_convert.cpp [new file with mode: 0644] blob
clasp/libpotassco/tests/test_text.cpp [new file with mode: 0644] blob
clasp/libpotassco/tests/test_value.cpp [new file with mode: 0644] blob
clasp/src/CMakeLists.txt [new file with mode: 0644] blob
clasp/src/asp_preprocessor.cpp [new file with mode: 0644] blob
clasp/src/cb_enumerator.cpp [new file with mode: 0644] blob
clasp/src/clasp_facade.cpp [new file with mode: 0644] blob
clasp/src/clasp_options.cpp [new file with mode: 0644] blob
clasp/src/clasp_output.cpp [new file with mode: 0644] blob
clasp/src/clause.cpp [new file with mode: 0644] blob
clasp/src/clingo.cpp [new file with mode: 0644] blob
clasp/src/constraint.cpp [new file with mode: 0644] blob
clasp/src/dependency_graph.cpp [new file with mode: 0644] blob
clasp/src/enumerator.cpp [new file with mode: 0644] blob
clasp/src/heuristics.cpp [new file with mode: 0644] blob
clasp/src/logic_program.cpp [new file with mode: 0644] blob
clasp/src/logic_program_types.cpp [new file with mode: 0644] blob
clasp/src/lookahead.cpp [new file with mode: 0644] blob
clasp/src/minimize_constraint.cpp [new file with mode: 0644] blob
clasp/src/model_enumerators.cpp [new file with mode: 0644] blob
clasp/src/parallel_solve.cpp [new file with mode: 0644] blob
clasp/src/parser.cpp [new file with mode: 0644] blob
clasp/src/program_builder.cpp [new file with mode: 0644] blob
clasp/src/satelite.cpp [new file with mode: 0644] blob
clasp/src/shared_context.cpp [new file with mode: 0644] blob
clasp/src/solve_algorithms.cpp [new file with mode: 0644] blob
clasp/src/solver.cpp [new file with mode: 0644] blob
clasp/src/solver_strategies.cpp [new file with mode: 0644] blob
clasp/src/solver_types.cpp [new file with mode: 0644] blob
clasp/src/statistics.cpp [new file with mode: 0644] blob
clasp/src/timer.cpp [new file with mode: 0644] blob
clasp/src/unfounded_check.cpp [new file with mode: 0644] blob
clasp/src/weight_constraint.cpp [new file with mode: 0644] blob
clasp/tests/CMakeLists.txt [new file with mode: 0644] blob
clasp/tests/catch.hpp [new file with mode: 0644] blob
clasp/tests/clause_creator_test.cpp [new file with mode: 0644] blob
clasp/tests/clause_test.cpp [new file with mode: 0644] blob
clasp/tests/cli_test.cpp [new file with mode: 0644] blob
clasp/tests/decision_heuristic_test.cpp [new file with mode: 0644] blob
clasp/tests/dependency_graph_test.cpp [new file with mode: 0644] blob
clasp/tests/dlp_builder_test.cpp [new file with mode: 0644] blob
clasp/tests/enumerator_test.cpp [new file with mode: 0644] blob
clasp/tests/facade_test.cpp [new file with mode: 0644] blob
clasp/tests/literal_test.cpp [new file with mode: 0644] blob
clasp/tests/lpcompare.h [new file with mode: 0644] blob
clasp/tests/minimize_test.cpp [new file with mode: 0644] blob
clasp/tests/parser_test.cpp [new file with mode: 0644] blob
clasp/tests/program_builder_test.cpp [new file with mode: 0644] blob
clasp/tests/rule_test.cpp [new file with mode: 0644] blob
clasp/tests/satelite_test.cpp [new file with mode: 0644] blob
clasp/tests/solver_test.cpp [new file with mode: 0644] blob
clasp/tests/test_main.cpp [new file with mode: 0644] blob
clasp/tests/unfounded_check_test.cpp [new file with mode: 0644] blob
clasp/tests/weight_constraint_test.cpp [new file with mode: 0644] blob
clasp/tools/clasp-option-template.inl [new file with mode: 0644] blob
clasp/tools/generate-pcs.sh [new file with mode: 0755] blob
cmake/ClingoConfig.cmake.in [new file with mode: 0644] blob
cmake/FindRE2C.cmake [new file with mode: 0644] blob
cmake/clingo_functions.cmake [new file with mode: 0644] blob
cmake/glob-paths.py [new file with mode: 0755] blob
cmake/python-site.py [new file with mode: 0644] blob
doc/api/Doxyfile [new file with mode: 0644] blob
doc/api/DoxygenLayout.xml [new file with mode: 0644] blob
doc/api/clingo.css [new file with mode: 0644] blob
examples/c/CMakeLists.txt [new file with mode: 0644] blob
examples/c/application.c [new file with mode: 0644] blob
examples/c/ast.c [new file with mode: 0644] blob
examples/c/backend.c [new file with mode: 0644] blob
examples/c/configuration.c [new file with mode: 0644] blob
examples/c/control.c [new file with mode: 0644] blob
examples/c/model.c [new file with mode: 0644] blob
examples/c/propagator.c [new file with mode: 0644] blob
examples/c/solve-async.c [new file with mode: 0644] blob
examples/c/statistics.c [new file with mode: 0644] blob
examples/c/symbol.c [new file with mode: 0644] blob
examples/c/symbolic-atoms.c [new file with mode: 0644] blob
examples/c/theory-atoms.c [new file with mode: 0644] blob
examples/c/version.c [new file with mode: 0644] blob
examples/cc/CMakeLists.txt [new file with mode: 0644] blob
examples/cc/inject-terms.cc [new file with mode: 0644] blob
examples/cc/solve-iteratively.cc [new file with mode: 0644] blob
examples/clingo/addclause/README [new file with mode: 0644] blob
examples/clingo/addclause/addclause-lua.lp [new file with mode: 0644] blob
examples/clingo/addclause/addclause-py.lp [new file with mode: 0644] blob
examples/clingo/blocksworld/README [new file with mode: 0644] blob
examples/clingo/blocksworld/blocks_01.lp [new file with mode: 0644] blob
examples/clingo/blocksworld/control_01.lua [new file with mode: 0644] blob
examples/clingo/blocksworld/control_01.out [new file with mode: 0644] blob
examples/clingo/blocksworld/lua.lp [new file with mode: 0644] blob
examples/clingo/blocksworld/lua_interpret.lp [new file with mode: 0644] blob
examples/clingo/blocksworld/world.lp [new file with mode: 0644] blob
examples/clingo/cannot/README.md [new file with mode: 0644] blob
examples/clingo/cannot/cannot-lua.lp [new file with mode: 0644] blob
examples/clingo/cannot/cannot-py.lp [new file with mode: 0644] blob
examples/clingo/cannot/example.lp [new file with mode: 0644] blob
examples/clingo/commit/README [new file with mode: 0644] blob
examples/clingo/commit/commit-lua.lp [new file with mode: 0644] blob
examples/clingo/commit/commit-py.lp [new file with mode: 0644] blob
examples/clingo/commit/encoding.lp [new file with mode: 0644] blob
examples/clingo/consequences/README [new file with mode: 0644] blob
examples/clingo/consequences/brave-lua.lp [new file with mode: 0644] blob
examples/clingo/consequences/brave-py.lp [new file with mode: 0644] blob
examples/clingo/consequences/example.lp [new file with mode: 0644] blob
examples/clingo/context/README [new file with mode: 0644] blob
examples/clingo/context/context-lua.lp [new file with mode: 0644] blob
examples/clingo/context/context-py.lp [new file with mode: 0644] blob
examples/clingo/context/encoding.lp [new file with mode: 0644] blob
examples/clingo/controller-async/README [new file with mode: 0644] blob
examples/clingo/controller-async/client.lp [new file with mode: 0644] blob
examples/clingo/controller-async/controller.py [new file with mode: 0755] blob
examples/clingo/controller-processes/README [new file with mode: 0644] blob
examples/clingo/controller-processes/client.lp [new file with mode: 0644] blob
examples/clingo/controller-processes/client.py [new file with mode: 0644] blob
examples/clingo/controller-processes/server.py [new file with mode: 0644] blob
examples/clingo/controller-threads/README [new file with mode: 0644] blob
examples/clingo/controller-threads/client.lp [new file with mode: 0644] blob
examples/clingo/controller-threads/controller.py [new file with mode: 0755] blob
examples/clingo/cover/README [new file with mode: 0644] blob
examples/clingo/cover/control-lua.lp [new file with mode: 0644] blob
examples/clingo/cover/control-py.lp [new file with mode: 0644] blob
examples/clingo/cover/cover.lp [new file with mode: 0644] blob
examples/clingo/cover/instance.lp [new file with mode: 0644] blob
examples/clingo/cover/preprocess.lp [new file with mode: 0644] blob
examples/clingo/dl/README.md [new file with mode: 0644] blob
examples/clingo/dl/difference_logic.py [new file with mode: 0644] blob
examples/clingo/dl/dl.lp [new file with mode: 0644] blob
examples/clingo/dl/dlO.lp [new file with mode: 0644] blob
examples/clingo/dl/fsE.lp [new file with mode: 0644] blob
examples/clingo/dl/fsI.lp [new file with mode: 0644] blob
examples/clingo/domains/README [new file with mode: 0644] blob
examples/clingo/domains/domains-lua.lp [new file with mode: 0644] blob
examples/clingo/domains/domains-py.lp [new file with mode: 0644] blob
examples/clingo/domains/instance.lp [new file with mode: 0644] blob
examples/clingo/dot-propagator/README [new file with mode: 0644] blob
examples/clingo/dot-propagator/dot.lp [new file with mode: 0644] blob
examples/clingo/dot-propagator/test.lp [new file with mode: 0644] blob
examples/clingo/enum-assumption/README [new file with mode: 0644] blob
examples/clingo/enum-assumption/example-lua.lp [new file with mode: 0644] blob
examples/clingo/enum-assumption/example-py.lp [new file with mode: 0644] blob
examples/clingo/excel/README.md [new file with mode: 0644] blob
examples/clingo/excel/example.lp [new file with mode: 0644] blob
examples/clingo/excel/excel-py.lp [new file with mode: 0644] blob
examples/clingo/expansion/GraphColouring/encodings/encoding.lp [new file with mode: 0644] blob
examples/clingo/expansion/GraphColouring/instances/0004-graph_colouring-125-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/GraphColouring/instances/0005-graph_colouring-125-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/GraphColouring/instances/0007-graph_colouring-125-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/GraphColouring/instances/0008-graph_colouring-125-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/GraphColouring/instances/0013-graph_colouring-130-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/GraphColouring/instances/0021-graph_colouring-135-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/GraphColouring/instances/0022-graph_colouring-135-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/GraphColouring/instances/0023-graph_colouring-135-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/GraphColouring/instances/0025-graph_colouring-135-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/GraphColouring/instances/0032-graph_colouring-140-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/GraphColouring/instances/0036-graph_colouring-140-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/GraphColouring/instances/0039-graph_colouring-140-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/GraphColouring/instances/0040-graph_colouring-140-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/GraphColouring/instances/0046-graph_colouring-145-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/GraphColouring/instances/0047-graph_colouring-145-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/GraphColouring/instances/0048-graph_colouring-145-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/GraphColouring/instances/0050-graph_colouring-145-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/GraphColouring/instances/0056-graph_colouring-150-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/GraphColouring/instances/0059-graph_colouring-150-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/GraphColouring/instances/0060-graph_colouring-150-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/PartnerUnits/encodings/encoding.lp [new file with mode: 0644] blob
examples/clingo/expansion/PartnerUnits/instances/100-partner_units-100-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/PartnerUnits/instances/102-partner_units-100-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/PartnerUnits/instances/114-partner_units_polynomial-100-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/PartnerUnits/instances/115-partner_units_polynomial-100-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/PartnerUnits/instances/119-partner_units_polynomial-100-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/PartnerUnits/instances/127-partner_units_polynomial-100-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/PartnerUnits/instances/153-partner_units-100-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/PartnerUnits/instances/154-partner_units-100-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/PartnerUnits/instances/156-partner_units-100-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/PartnerUnits/instances/161-partner_units-100-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/PartnerUnits/instances/175-partner_units_polynomial-75-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/PartnerUnits/instances/180-partner_units_polynomial-47-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/PartnerUnits/instances/188-partner_units_polynomial-57-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/PartnerUnits/instances/196-partner_units_polynomial-59-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/PartnerUnits/instances/26-partner_units_polynomial-60-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/PartnerUnits/instances/52-partner_units_polynomial-100-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/PartnerUnits/instances/58-partner_units_polynomial-100-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/PartnerUnits/instances/69-partner_units_polynomial-100-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/PartnerUnits/instances/91-partner_units-100-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/PartnerUnits/instances/99-partner_units-100-0.lp [new file with mode: 0644] blob
examples/clingo/expansion/README [new file with mode: 0644] blob
examples/clingo/expansion/main.py [new file with mode: 0755] blob
examples/clingo/extend_model/README.md [new file with mode: 0644] blob
examples/clingo/extend_model/extend_model-lua.lp [new file with mode: 0644] blob
examples/clingo/extend_model/extend_model-py.lp [new file with mode: 0644] blob
examples/clingo/external/README [new file with mode: 0644] blob
examples/clingo/external/external-lua.lp [new file with mode: 0644] blob
examples/clingo/external/external-py.lp [new file with mode: 0644] blob
examples/clingo/external/external.lp [new file with mode: 0644] blob
examples/clingo/iclingo/README.md [new file with mode: 0644] blob
examples/clingo/iclingo/example.lp [new file with mode: 0644] blob
examples/clingo/iclingo/incmode-int.lp [new file with mode: 0644] blob
examples/clingo/iclingo/incmode-lua.lp [new file with mode: 0644] blob
examples/clingo/iclingo/incmode-py.lp [new file with mode: 0644] blob
examples/clingo/include/README [new file with mode: 0644] blob
examples/clingo/include/encoding-lua.lp [new file with mode: 0644] blob
examples/clingo/include/encoding-py.lp [new file with mode: 0644] blob
examples/clingo/include/include.lp [new file with mode: 0644] blob
examples/clingo/incqueens/README.md [new file with mode: 0644] blob
examples/clingo/incqueens/incqueens-lua.lp [new file with mode: 0644] blob
examples/clingo/incqueens/incqueens-py.lp [new file with mode: 0644] blob
examples/clingo/incqueens/incqueens.lp [new file with mode: 0644] blob
examples/clingo/itersolve/README [new file with mode: 0644] blob
examples/clingo/itersolve/itersolve-lua.lp [new file with mode: 0644] blob
examples/clingo/itersolve/itersolve-py.lp [new file with mode: 0644] blob
examples/clingo/itersolve/program.lp [new file with mode: 0644] blob
examples/clingo/load/README [new file with mode: 0644] blob
examples/clingo/load/load-lua.lp [new file with mode: 0644] blob
examples/clingo/load/load-py.lp [new file with mode: 0644] blob
examples/clingo/load/program.lp [new file with mode: 0644] blob
examples/clingo/onmodel/README [new file with mode: 0644] blob
examples/clingo/onmodel/onmodel-lua.lp [new file with mode: 0644] blob
examples/clingo/onmodel/onmodel-py.lp [new file with mode: 0644] blob
examples/clingo/opt/README.md [new file with mode: 0644] blob
examples/clingo/opt/opt.lp [new file with mode: 0644] blob
examples/clingo/opt/tohB.lp [new file with mode: 0644] blob
examples/clingo/opt/tohE.lp [new file with mode: 0644] blob
examples/clingo/opt/tohI.lp [new file with mode: 0644] blob
examples/clingo/planning/README [new file with mode: 0644] blob
examples/clingo/planning/convert.lp [new file with mode: 0644] blob
examples/clingo/planning/convert.sh [new file with mode: 0755] blob
examples/clingo/planning/encoding.lp [new file with mode: 0644] blob
examples/clingo/planning/instances/coins01.lp [new file with mode: 0644] blob
examples/clingo/planning/instances/comm02.lp [new file with mode: 0644] blob
examples/clingo/planning/instances/comm03.lp [new file with mode: 0644] blob
examples/clingo/planning/instances/comm05.lp [new file with mode: 0644] blob
examples/clingo/planning/instances/uts01.lp [new file with mode: 0644] blob
examples/clingo/planning/planning-lua.lp [new file with mode: 0644] blob
examples/clingo/pydoc/README [new file with mode: 0644] blob
examples/clingo/pydoc/pydoc-lib.py [new file with mode: 0755] blob
examples/clingo/pydoc/pydoc.lp [new file with mode: 0644] blob
examples/clingo/robots/README.md [new file with mode: 0644] blob
examples/clingo/robots/board.lp [new file with mode: 0644] blob
examples/clingo/robots/img/arrow_blue_east.gif [new file with mode: 0644] blob
examples/clingo/robots/img/arrow_blue_north.gif [new file with mode: 0644] blob
examples/clingo/robots/img/arrow_blue_south.gif [new file with mode: 0644] blob
examples/clingo/robots/img/arrow_blue_west.gif [new file with mode: 0644] blob
examples/clingo/robots/img/arrow_green_east.gif [new file with mode: 0644] blob
examples/clingo/robots/img/arrow_green_north.gif [new file with mode: 0644] blob
examples/clingo/robots/img/arrow_green_south.gif [new file with mode: 0644] blob
examples/clingo/robots/img/arrow_green_west.gif [new file with mode: 0644] blob
examples/clingo/robots/img/arrow_red_east.gif [new file with mode: 0644] blob
examples/clingo/robots/img/arrow_red_north.gif [new file with mode: 0644] blob
examples/clingo/robots/img/arrow_red_south.gif [new file with mode: 0644] blob
examples/clingo/robots/img/arrow_red_west.gif [new file with mode: 0644] blob
examples/clingo/robots/img/arrow_yellow_east.gif [new file with mode: 0644] blob
examples/clingo/robots/img/arrow_yellow_north.gif [new file with mode: 0644] blob
examples/clingo/robots/img/arrow_yellow_south.gif [new file with mode: 0644] blob
examples/clingo/robots/img/arrow_yellow_west.gif [new file with mode: 0644] blob
examples/clingo/robots/img/moon_blue.gif [new file with mode: 0644] blob
examples/clingo/robots/img/moon_green.gif [new file with mode: 0644] blob
examples/clingo/robots/img/moon_red.gif [new file with mode: 0644] blob
examples/clingo/robots/img/moon_yellow.gif [new file with mode: 0644] blob
examples/clingo/robots/img/move_blue_east.gif [new file with mode: 0644] blob
examples/clingo/robots/img/move_blue_north.gif [new file with mode: 0644] blob
examples/clingo/robots/img/move_blue_south.gif [new file with mode: 0644] blob
examples/clingo/robots/img/move_blue_west.gif [new file with mode: 0644] blob
examples/clingo/robots/img/move_green_east.gif [new file with mode: 0644] blob
examples/clingo/robots/img/move_green_north.gif [new file with mode: 0644] blob
examples/clingo/robots/img/move_green_south.gif [new file with mode: 0644] blob
examples/clingo/robots/img/move_green_west.gif [new file with mode: 0644] blob
examples/clingo/robots/img/move_red_east.gif [new file with mode: 0644] blob
examples/clingo/robots/img/move_red_north.gif [new file with mode: 0644] blob
examples/clingo/robots/img/move_red_south.gif [new file with mode: 0644] blob
examples/clingo/robots/img/move_red_west.gif [new file with mode: 0644] blob
examples/clingo/robots/img/move_yellow_east.gif [new file with mode: 0644] blob
examples/clingo/robots/img/move_yellow_north.gif [new file with mode: 0644] blob
examples/clingo/robots/img/move_yellow_south.gif [new file with mode: 0644] blob
examples/clingo/robots/img/move_yellow_west.gif [new file with mode: 0644] blob
examples/clingo/robots/img/random_robot.gif [new file with mode: 0644] blob
examples/clingo/robots/img/robot_blue.gif [new file with mode: 0644] blob
examples/clingo/robots/img/robot_green.gif [new file with mode: 0644] blob
examples/clingo/robots/img/robot_red.gif [new file with mode: 0644] blob
examples/clingo/robots/img/robot_yellow.gif [new file with mode: 0644] blob
examples/clingo/robots/img/saturn_blue.gif [new file with mode: 0644] blob
examples/clingo/robots/img/saturn_green.gif [new file with mode: 0644] blob
examples/clingo/robots/img/saturn_red.gif [new file with mode: 0644] blob
examples/clingo/robots/img/saturn_yellow.gif [new file with mode: 0644] blob
examples/clingo/robots/img/star_blue.gif [new file with mode: 0644] blob
examples/clingo/robots/img/star_green.gif [new file with mode: 0644] blob
examples/clingo/robots/img/star_red.gif [new file with mode: 0644] blob
examples/clingo/robots/img/star_yellow.gif [new file with mode: 0644] blob
examples/clingo/robots/img/sun_blue.gif [new file with mode: 0644] blob
examples/clingo/robots/img/sun_green.gif [new file with mode: 0644] blob
examples/clingo/robots/img/sun_red.gif [new file with mode: 0644] blob
examples/clingo/robots/img/sun_yellow.gif [new file with mode: 0644] blob
examples/clingo/robots/img/tile_left.gif [new file with mode: 0644] blob
examples/clingo/robots/img/tile_right.gif [new file with mode: 0644] blob
examples/clingo/robots/img/wall_north.gif [new file with mode: 0644] blob
examples/clingo/robots/img/wall_west.gif [new file with mode: 0644] blob
examples/clingo/robots/robots.lp [new file with mode: 0644] blob
examples/clingo/robots/visualize.py [new file with mode: 0755] blob
examples/clingo/setconf/README [new file with mode: 0644] blob
examples/clingo/setconf/setconf-lua.lp [new file with mode: 0644] blob
examples/clingo/setconf/setconf-py.lp [new file with mode: 0644] blob
examples/clingo/solitaire/README [new file with mode: 0644] blob
examples/clingo/solitaire/instance.lp [new file with mode: 0644] blob
examples/clingo/solitaire/solitaire.lp [new file with mode: 0644] blob
examples/clingo/solitaire/visualize.py [new file with mode: 0755] blob
examples/clingo/solve-async/README [new file with mode: 0644] blob
examples/clingo/solve-async/program.lp [new file with mode: 0644] blob
examples/clingo/solve-async/solve-async-py.lp [new file with mode: 0644] blob
examples/clingo/stats/README [new file with mode: 0644] blob
examples/clingo/stats/example.lp [new file with mode: 0644] blob
examples/clingo/stats/stats-lua.lp [new file with mode: 0644] blob
examples/clingo/stats/stats-py.lp [new file with mode: 0644] blob
examples/clingo/tmode/README.md [new file with mode: 0644] blob
examples/clingo/tmode/example.lp [new file with mode: 0644] blob
examples/clingo/tmode/example2.lp [new file with mode: 0644] blob
examples/clingo/tmode/visitor.lp [new file with mode: 0644] blob
examples/clingo/unblock/README [new file with mode: 0644] blob
examples/clingo/unblock/inst1.lp [new file with mode: 0644] blob
examples/clingo/unblock/inst2.lp [new file with mode: 0644] blob
examples/clingo/unblock/inst3.lp [new file with mode: 0644] blob
examples/clingo/unblock/inst4.lp [new file with mode: 0644] blob
examples/clingo/unblock/inst5.lp [new file with mode: 0644] blob
examples/clingo/unblock/unblock.lp [new file with mode: 0644] blob
examples/clingo/unblock/visualize.py [new file with mode: 0755] blob
examples/gringo/acyc/README [new file with mode: 0644] blob
examples/gringo/acyc/encoding.lp [new file with mode: 0644] blob
examples/gringo/acyc/instance.lp [new file with mode: 0644] blob
examples/gringo/ast/README [new file with mode: 0644] blob
examples/gringo/ast/example.lp [new file with mode: 0644] blob
examples/gringo/ast/visitor.lp [new file with mode: 0644] blob
examples/gringo/gbie/README [new file with mode: 0644] blob
examples/gringo/gbie/gbie1.lp [new file with mode: 0644] blob
examples/gringo/gbie/gbie2.lp [new file with mode: 0644] blob
examples/gringo/gbie/instances/sat_01.lp [new file with mode: 0644] blob
examples/gringo/gbie/instances/sat_02.lp [new file with mode: 0644] blob
examples/gringo/gbie/instances/sat_03.lp [new file with mode: 0644] blob
examples/gringo/gbie/instances/unsat_01.lp [new file with mode: 0644] blob
examples/gringo/gbie/instances/unsat_02.lp [new file with mode: 0644] blob
examples/gringo/prime-implicants/README [new file with mode: 0644] blob
examples/gringo/prime-implicants/encoding.lp [new file with mode: 0644] blob
examples/gringo/prime-implicants/instance.lp [new file with mode: 0644] blob
examples/gringo/project/README [new file with mode: 0644] blob
examples/gringo/project/example.lp [new file with mode: 0644] blob
examples/gringo/queens/README [new file with mode: 0644] blob
examples/gringo/queens/queens1.lp [new file with mode: 0644] blob
examples/gringo/queens/queens2.lp [new file with mode: 0644] blob
examples/gringo/rec-cond/README [new file with mode: 0644] blob
examples/gringo/rec-cond/encoding.lp [new file with mode: 0644] blob
examples/gringo/rec-cond/instance.lp [new file with mode: 0644] blob
examples/gringo/subset/README [new file with mode: 0644] blob
examples/gringo/subset/example.lp [new file with mode: 0644] blob
examples/gringo/toh/README.md [new file with mode: 0644] blob
examples/gringo/toh/tohE.lp [new file with mode: 0644] blob
examples/gringo/toh/tohI.lp [new file with mode: 0644] blob
examples/reify/README [new file with mode: 0644] blob
examples/reify/example1.lp [new file with mode: 0644] blob
examples/reify/example2.lp [new file with mode: 0644] blob
examples/reify/meta.lp [new file with mode: 0644] blob
examples/reify/metaD.lp [new file with mode: 0644] blob
examples/reify/metaO.lp [new file with mode: 0644] blob
libclingo/CMakeLists.txt [new file with mode: 0644] blob
libclingo/clingo.h [new file with mode: 0644] blob
libclingo/clingo.hh [new file with mode: 0644] blob
libclingo/clingo/ast.hh [new file with mode: 0644] blob
libclingo/clingo/clingo_app.hh [new file with mode: 0644] blob
libclingo/clingo/clingocontrol.hh [new file with mode: 0644] blob
libclingo/clingo/control.hh [new file with mode: 0644] blob
libclingo/clingo/incmode.hh [new file with mode: 0644] blob
libclingo/clingo/script.h [new file with mode: 0644] blob
libclingo/clingo/scripts.hh [new file with mode: 0644] blob
libclingo/src/ast.cc [new file with mode: 0644] blob
libclingo/src/clingo_app.cc [new file with mode: 0644] blob
libclingo/src/clingocontrol.cc [new file with mode: 0644] blob
libclingo/src/control.cc [new file with mode: 0644] blob
libclingo/src/gringo_app.cc [new file with mode: 0644] blob
libclingo/src/incmode.cc [new file with mode: 0644] blob
libclingo/src/scripts.cc [new file with mode: 0644] blob
libclingo/tests/CMakeLists.txt [new file with mode: 0644] blob
libclingo/tests/ast.cc [new file with mode: 0644] blob
libclingo/tests/catch.hpp [new file with mode: 0644] blob
libclingo/tests/clingo.cc [new file with mode: 0644] blob
libclingo/tests/main.cc [new file with mode: 0644] blob
libclingo/tests/propagator.cc [new file with mode: 0644] blob
libclingo/tests/symbol.cc [new file with mode: 0644] blob
libclingo/tests/tests.hh [new file with mode: 0644] blob
libclingo/tests/variant.cc [new file with mode: 0644] blob
libgringo/CMakeLists.txt [new file with mode: 0644] blob
libgringo/gen/src/input/clingopath.hh [new file with mode: 0644] blob
libgringo/gen/src/input/groundtermgrammar/grammar.cc [new file with mode: 0644] blob
libgringo/gen/src/input/groundtermgrammar/grammar.hh [new file with mode: 0644] blob
libgringo/gen/src/input/groundtermgrammar/location.hh [new file with mode: 0644] blob
libgringo/gen/src/input/groundtermgrammar/position.hh [new file with mode: 0644] blob
libgringo/gen/src/input/groundtermgrammar/stack.hh [new file with mode: 0644] blob
libgringo/gen/src/input/groundtermlexer.hh [new file with mode: 0644] blob
libgringo/gen/src/input/nongroundgrammar/grammar.cc [new file with mode: 0644] blob
libgringo/gen/src/input/nongroundgrammar/grammar.hh [new file with mode: 0644] blob
libgringo/gen/src/input/nongroundgrammar/stack.hh [new file with mode: 0644] blob
libgringo/gen/src/input/nongroundlexer.hh [new file with mode: 0644] blob
libgringo/gringo/backend.hh [new file with mode: 0644] blob
libgringo/gringo/backtrace.hh [new file with mode: 0644] blob
libgringo/gringo/base.hh [new file with mode: 0644] blob
libgringo/gringo/bug.hh [new file with mode: 0644] blob
libgringo/gringo/clonable.hh [new file with mode: 0644] blob
libgringo/gringo/comparable.hh [new file with mode: 0644] blob
libgringo/gringo/domain.hh [new file with mode: 0644] blob
libgringo/gringo/graph.hh [new file with mode: 0644] blob
libgringo/gringo/ground/binders.hh [new file with mode: 0644] blob
libgringo/gringo/ground/dependency.hh [new file with mode: 0644] blob
libgringo/gringo/ground/instantiation.hh [new file with mode: 0644] blob
libgringo/gringo/ground/literal.hh [new file with mode: 0644] blob
libgringo/gringo/ground/literals.hh [new file with mode: 0644] blob
libgringo/gringo/ground/program.hh [new file with mode: 0644] blob
libgringo/gringo/ground/statement.hh [new file with mode: 0644] blob
libgringo/gringo/ground/statements.hh [new file with mode: 0644] blob
libgringo/gringo/ground/types.hh [new file with mode: 0644] blob
libgringo/gringo/hash_set.hh [new file with mode: 0644] blob
libgringo/gringo/hashable.hh [new file with mode: 0644] blob
libgringo/gringo/indexed.hh [new file with mode: 0644] blob
libgringo/gringo/input/aggregate.hh [new file with mode: 0644] blob
libgringo/gringo/input/aggregates.hh [new file with mode: 0644] blob
libgringo/gringo/input/groundtermparser.hh [new file with mode: 0644] blob
libgringo/gringo/input/literal.hh [new file with mode: 0644] blob
libgringo/gringo/input/literals.hh [new file with mode: 0644] blob
libgringo/gringo/input/nongroundparser.hh [new file with mode: 0644] blob
libgringo/gringo/input/program.hh [new file with mode: 0644] blob
libgringo/gringo/input/programbuilder.hh [new file with mode: 0644] blob
libgringo/gringo/input/statement.hh [new file with mode: 0644] blob
libgringo/gringo/input/theory.hh [new file with mode: 0644] blob
libgringo/gringo/input/types.hh [new file with mode: 0644] blob
libgringo/gringo/intervals.hh [new file with mode: 0644] blob
libgringo/gringo/lexerstate.hh [new file with mode: 0644] blob
libgringo/gringo/locatable.hh [new file with mode: 0644] blob
libgringo/gringo/logger.hh [new file with mode: 0644] blob
libgringo/gringo/output/aggregates.hh [new file with mode: 0644] blob
libgringo/gringo/output/backends.hh [new file with mode: 0644] blob
libgringo/gringo/output/literal.hh [new file with mode: 0644] blob
libgringo/gringo/output/literals.hh [new file with mode: 0644] blob
libgringo/gringo/output/output.hh [new file with mode: 0644] blob
libgringo/gringo/output/statement.hh [new file with mode: 0644] blob
libgringo/gringo/output/statements.hh [new file with mode: 0644] blob
libgringo/gringo/output/theory.hh [new file with mode: 0644] blob
libgringo/gringo/output/types.hh [new file with mode: 0644] blob
libgringo/gringo/primes.hh [new file with mode: 0644] blob
libgringo/gringo/printable.hh [new file with mode: 0644] blob
libgringo/gringo/safetycheck.hh [new file with mode: 0644] blob
libgringo/gringo/symbol.hh [new file with mode: 0644] blob
libgringo/gringo/term.hh [new file with mode: 0644] blob
libgringo/gringo/terms.hh [new file with mode: 0644] blob
libgringo/gringo/types.hh [new file with mode: 0644] blob
libgringo/gringo/utility.hh [new file with mode: 0644] blob
libgringo/src/backend.cc [new file with mode: 0644] blob
libgringo/src/ground/instantiation.cc [new file with mode: 0644] blob
libgringo/src/ground/literals.cc [new file with mode: 0644] blob
libgringo/src/ground/program.cc [new file with mode: 0644] blob
libgringo/src/ground/statements.cc [new file with mode: 0644] blob
libgringo/src/input/aggregate.cc [new file with mode: 0644] blob
libgringo/src/input/aggregates.cc [new file with mode: 0644] blob
libgringo/src/input/clingopath.hh.in [new file with mode: 0644] blob
libgringo/src/input/groundtermgrammar.yy [new file with mode: 0644] blob
libgringo/src/input/groundtermlexer.xh [new file with mode: 0644] blob
libgringo/src/input/groundtermparser.cc [new file with mode: 0644] blob
libgringo/src/input/literal.cc [new file with mode: 0644] blob
libgringo/src/input/literals.cc [new file with mode: 0644] blob
libgringo/src/input/nongroundgrammar.yy [new file with mode: 0644] blob
libgringo/src/input/nongroundlexer.xch [new file with mode: 0644] blob
libgringo/src/input/nongroundparser.cc [new file with mode: 0644] blob
libgringo/src/input/program.cc [new file with mode: 0644] blob
libgringo/src/input/programbuilder.cc [new file with mode: 0644] blob
libgringo/src/input/statement.cc [new file with mode: 0644] blob
libgringo/src/input/theory.cc [new file with mode: 0644] blob
libgringo/src/output/aggregates.cc [new file with mode: 0644] blob
libgringo/src/output/literal.cc [new file with mode: 0644] blob
libgringo/src/output/literals.cc [new file with mode: 0644] blob
libgringo/src/output/output.cc [new file with mode: 0644] blob
libgringo/src/output/statement.cc [new file with mode: 0644] blob
libgringo/src/output/statements.cc [new file with mode: 0644] blob
libgringo/src/output/theory.cc [new file with mode: 0644] blob
libgringo/src/primes.cc [new file with mode: 0644] blob
libgringo/src/symbol.cc [new file with mode: 0644] blob
libgringo/src/term.cc [new file with mode: 0644] blob
libgringo/src/terms.cc [new file with mode: 0644] blob
libgringo/tests/CMakeLists.txt [new file with mode: 0644] blob
libgringo/tests/catch.hpp [new file with mode: 0644] blob
libgringo/tests/graph.cc [new file with mode: 0644] blob
libgringo/tests/ground/dependency.cc [new file with mode: 0644] blob
libgringo/tests/ground/grounder_helper.hh [new file with mode: 0644] blob
libgringo/tests/ground/instantiation.cc [new file with mode: 0644] blob
libgringo/tests/ground/literal.cc [new file with mode: 0644] blob
libgringo/tests/ground/program.cc [new file with mode: 0644] blob
libgringo/tests/ground/theory.cc [new file with mode: 0644] blob
libgringo/tests/input/aggregate.cc [new file with mode: 0644] blob
libgringo/tests/input/aggregate_helper.hh [new file with mode: 0644] blob
libgringo/tests/input/lit_helper.hh [new file with mode: 0644] blob
libgringo/tests/input/literal.cc [new file with mode: 0644] blob
libgringo/tests/input/nongroundgrammar.cc [new file with mode: 0644] blob
libgringo/tests/input/nongroundlexer.cc [new file with mode: 0644] blob
libgringo/tests/input/parse_term.cc [new file with mode: 0644] blob
libgringo/tests/input/program.cc [new file with mode: 0644] blob
libgringo/tests/input/programbuilder.cc [new file with mode: 0644] blob
libgringo/tests/intervals.cc [new file with mode: 0644] blob
libgringo/tests/main.cc [new file with mode: 0644] blob
libgringo/tests/output/aspcomp13.cc [new file with mode: 0644] blob
libgringo/tests/output/incremental.cc [new file with mode: 0644] blob
libgringo/tests/output/lparse.cc [new file with mode: 0644] blob
libgringo/tests/output/solver_helper.hh [new file with mode: 0644] blob
libgringo/tests/output/theory.cc [new file with mode: 0644] blob
libgringo/tests/output/warnings.cc [new file with mode: 0644] blob
libgringo/tests/python.cc [new file with mode: 0644] blob
libgringo/tests/safetycheck.cc [new file with mode: 0644] blob
libgringo/tests/symbol.cc [new file with mode: 0644] blob
libgringo/tests/term.cc [new file with mode: 0644] blob
libgringo/tests/term_helper.hh [new file with mode: 0644] blob
libgringo/tests/tests.hh [new file with mode: 0644] blob
libgringo/tests/unique_vec.cc [new file with mode: 0644] blob
libgringo/tests/utility.cc [new file with mode: 0644] blob
libluaclingo/CMakeLists.txt [new file with mode: 0644] blob
libluaclingo/luaclingo.cc [new file with mode: 0644] blob
libluaclingo/luaclingo.h [new file with mode: 0644] blob
libpyclingo/CMakeLists.txt [new file with mode: 0644] blob
libpyclingo/pyclingo.cc [new file with mode: 0644] blob
libpyclingo/pyclingo.h [new file with mode: 0644] blob
libreify/CMakeLists.txt [new file with mode: 0644] blob
libreify/reify/program.hh [new file with mode: 0644] blob
libreify/reify/util.hh [new file with mode: 0644] blob
libreify/src/program.cc [new file with mode: 0644] blob
libreify/tests/CMakeLists.txt [new file with mode: 0644] blob
libreify/tests/catch.hpp [new file with mode: 0644] blob
libreify/tests/main.cc [new file with mode: 0644] blob
libreify/tests/program.cc [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.