projects / gringo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
Import gringo_5.1.0.orig.tar.gz
authorThomas Krennwallner <tkren@kr.tuwien.ac.at>
Sun, 11 Dec 2016 12:12:35 +0000 (12:12 +0000)
committerThomas Krennwallner <tkren@kr.tuwien.ac.at>
Sun, 11 Dec 2016 12:12:35 +0000 (12:12 +0000)
commit83fcfe68d99377ccf301188c4be57e03c6942837
treebe868341e22ec8e70496464b748ee397704a0363tree | snapshot
Import gringo_5.1.0.orig.tar.gz

[dgit import orig gringo_5.1.0.orig.tar.gz]
676 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 [new file with mode: 0644] blob
COPYING [new file with mode: 0644] blob
INSTALL [new file with mode: 0644] blob
README.md [new file with mode: 0644] blob
SConscript [new file with mode: 0644] blob
SConstruct [new file with mode: 0644] blob
app/cexample/main.c [new file with mode: 0644] blob
app/clingo/src/clasp/clasp_app.cpp [new file with mode: 0644] blob
app/clingo/src/clasp/clasp_app.h [new file with mode: 0644] blob
app/clingo/src/clingo_app.cc [new file with mode: 0644] blob
app/clingo/src/clingo_app.hh [new file with mode: 0644] blob
app/clingo/src/main.cc [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/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/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/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/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/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/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.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/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/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/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/interrupt.lp [new file with mode: 0644] blob
app/clingo/tests/python/interrupt.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/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.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/example/main.cc [new file with mode: 0644] blob
app/gringo/main.cc [new file with mode: 0644] blob
app/lpconvert/lpconvert.cpp [new file with mode: 0644] blob
app/luaclingo/src/main.cc [new file with mode: 0644] blob
app/pyclingo/src/main.cc [new file with mode: 0644] blob
app/reify/main.cc [new file with mode: 0644] blob
app/web/main.cc [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/solve-iteratively.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/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/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/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/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/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 [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 [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/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 [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/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/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 [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
examples/test.sh [new file with mode: 0755] blob
libclasp/clasp/asp_preprocessor.h [new file with mode: 0644] blob
libclasp/clasp/cb_enumerator.h [new file with mode: 0644] blob
libclasp/clasp/clasp_facade.h [new file with mode: 0644] blob
libclasp/clasp/claspfwd.h [new file with mode: 0644] blob
libclasp/clasp/clause.h [new file with mode: 0644] blob
libclasp/clasp/cli/clasp_cli_configs.inl [new file with mode: 0644] blob
libclasp/clasp/cli/clasp_cli_options.inl [new file with mode: 0644] blob
libclasp/clasp/cli/clasp_options.h [new file with mode: 0644] blob
libclasp/clasp/cli/clasp_output.h [new file with mode: 0644] blob
libclasp/clasp/cli/clifwd.h [new file with mode: 0644] blob
libclasp/clasp/clingo.h [new file with mode: 0644] blob
libclasp/clasp/constraint.h [new file with mode: 0644] blob
libclasp/clasp/dependency_graph.h [new file with mode: 0644] blob
libclasp/clasp/enumerator.h [new file with mode: 0644] blob
libclasp/clasp/heuristics.h [new file with mode: 0644] blob
libclasp/clasp/literal.h [new file with mode: 0644] blob
libclasp/clasp/logic_program.h [new file with mode: 0644] blob
libclasp/clasp/logic_program_types.h [new file with mode: 0644] blob
libclasp/clasp/lookahead.h [new file with mode: 0644] blob
libclasp/clasp/minimize_constraint.h [new file with mode: 0644] blob
libclasp/clasp/model_enumerators.h [new file with mode: 0644] blob
libclasp/clasp/parallel_solve.h [new file with mode: 0644] blob
libclasp/clasp/parser.h [new file with mode: 0644] blob
libclasp/clasp/pod_vector.h [new file with mode: 0644] blob
libclasp/clasp/program_builder.h [new file with mode: 0644] blob
libclasp/clasp/satelite.h [new file with mode: 0644] blob
libclasp/clasp/shared_context.h [new file with mode: 0644] blob
libclasp/clasp/solve_algorithms.h [new file with mode: 0644] blob
libclasp/clasp/solver.h [new file with mode: 0644] blob
libclasp/clasp/solver_strategies.h [new file with mode: 0644] blob
libclasp/clasp/solver_types.h [new file with mode: 0644] blob
libclasp/clasp/statistics.h [new file with mode: 0644] blob
libclasp/clasp/unfounded_check.h [new file with mode: 0644] blob
libclasp/clasp/util/atomic.h [new file with mode: 0644] blob
libclasp/clasp/util/hash_map.h [new file with mode: 0644] blob
libclasp/clasp/util/indexed_priority_queue.h [new file with mode: 0644] blob
libclasp/clasp/util/left_right_sequence.h [new file with mode: 0644] blob
libclasp/clasp/util/misc_types.h [new file with mode: 0644] blob
libclasp/clasp/util/multi_queue.h [new file with mode: 0644] blob
libclasp/clasp/util/mutex.h [new file with mode: 0644] blob
libclasp/clasp/util/platform.h [new file with mode: 0644] blob
libclasp/clasp/util/pod_vector.h [new file with mode: 0644] blob
libclasp/clasp/util/thread.h [new file with mode: 0644] blob
libclasp/clasp/util/timer.h [new file with mode: 0644] blob
libclasp/clasp/util/type_manip.h [new file with mode: 0644] blob
libclasp/clasp/weight_constraint.h [new file with mode: 0644] blob
libclasp/libclasp.vcxproj [new file with mode: 0644] blob
libclasp/libclasp.vcxproj.filters [new file with mode: 0644] blob
libclasp/src/asp_preprocessor.cpp [new file with mode: 0644] blob
libclasp/src/cb_enumerator.cpp [new file with mode: 0644] blob
libclasp/src/clasp_facade.cpp [new file with mode: 0644] blob
libclasp/src/clasp_options.cpp [new file with mode: 0644] blob
libclasp/src/clasp_output.cpp [new file with mode: 0644] blob
libclasp/src/clause.cpp [new file with mode: 0644] blob
libclasp/src/clingo.cpp [new file with mode: 0644] blob
libclasp/src/constraint.cpp [new file with mode: 0644] blob
libclasp/src/dependency_graph.cpp [new file with mode: 0644] blob
libclasp/src/enumerator.cpp [new file with mode: 0644] blob
libclasp/src/heuristics.cpp [new file with mode: 0644] blob
libclasp/src/logic_program.cpp [new file with mode: 0644] blob
libclasp/src/logic_program_types.cpp [new file with mode: 0644] blob
libclasp/src/lookahead.cpp [new file with mode: 0644] blob
libclasp/src/minimize_constraint.cpp [new file with mode: 0644] blob
libclasp/src/model_enumerators.cpp [new file with mode: 0644] blob
libclasp/src/parallel_solve.cpp [new file with mode: 0644] blob
libclasp/src/parser.cpp [new file with mode: 0644] blob
libclasp/src/program_builder.cpp [new file with mode: 0644] blob
libclasp/src/satelite.cpp [new file with mode: 0644] blob
libclasp/src/shared_context.cpp [new file with mode: 0644] blob
libclasp/src/solve_algorithms.cpp [new file with mode: 0644] blob
libclasp/src/solver.cpp [new file with mode: 0644] blob
libclasp/src/solver_strategies.cpp [new file with mode: 0644] blob
libclasp/src/solver_types.cpp [new file with mode: 0644] blob
libclasp/src/statistics.cpp [new file with mode: 0644] blob
libclasp/src/timer.cpp [new file with mode: 0644] blob
libclasp/src/unfounded_check.cpp [new file with mode: 0644] blob
libclasp/src/weight_constraint.cpp [new file with mode: 0644] blob
libclingo/clingo/clingocontrol.hh [new file with mode: 0644] blob
libclingo/src/clingocontrol.cc [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/clingo.h [new file with mode: 0644] blob
libgringo/clingo.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/control.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/lua.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/python.hh [new file with mode: 0644] blob
libgringo/gringo/safetycheck.hh [new file with mode: 0644] blob
libgringo/gringo/scripts.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/gringo/version.hh [new file with mode: 0644] blob
libgringo/src/backend.cc [new file with mode: 0644] blob
libgringo/src/control.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/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/lua.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/python.cc [new file with mode: 0644] blob
libgringo/src/scripts.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/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/lua.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
liblp/potassco/aspif.h [new file with mode: 0644] blob
liblp/potassco/aspif_text.h [new file with mode: 0644] blob
liblp/potassco/basic_types.h [new file with mode: 0644] blob
liblp/potassco/clingo.h [new file with mode: 0644] blob
liblp/potassco/convert.h [new file with mode: 0644] blob
liblp/potassco/match_basic_types.h [new file with mode: 0644] blob
liblp/potassco/rule_utils.h [new file with mode: 0644] blob
liblp/potassco/smodels.h [new file with mode: 0644] blob
liblp/potassco/theory_data.h [new file with mode: 0644] blob
liblp/src/aspif.cpp [new file with mode: 0644] blob
liblp/src/aspif_text.cpp [new file with mode: 0644] blob
liblp/src/clingo.cpp [new file with mode: 0644] blob
liblp/src/convert.cpp [new file with mode: 0644] blob
liblp/src/match_basic_types.cpp [new file with mode: 0644] blob
liblp/src/rule_utils.cpp [new file with mode: 0644] blob
liblp/src/smodels.cpp [new file with mode: 0644] blob
liblp/src/theory_data.cpp [new file with mode: 0644] blob
liblp/tests/CMakeLists.txt [new file with mode: 0644] blob
liblp/tests/aspif.cpp [new file with mode: 0644] blob
liblp/tests/catch.hpp [new file with mode: 0644] blob
liblp/tests/common.h [new file with mode: 0644] blob
liblp/tests/main.cpp [new file with mode: 0644] blob
liblp/tests/smodels.cpp [new file with mode: 0644] blob
liblp/tests/text.cpp [new file with mode: 0644] blob
libprogram_opts/program_opts/application.h [new file with mode: 0644] blob
libprogram_opts/program_opts/detail/alarm.h [new file with mode: 0644] blob
libprogram_opts/program_opts/detail/notifier.h [new file with mode: 0644] blob
libprogram_opts/program_opts/detail/refcountable.h [new file with mode: 0644] blob
libprogram_opts/program_opts/detail/value_store.h [new file with mode: 0644] blob
libprogram_opts/program_opts/errors.h [new file with mode: 0644] blob
libprogram_opts/program_opts/mapped_value.h [new file with mode: 0644] blob
libprogram_opts/program_opts/program_options.h [new file with mode: 0644] blob
libprogram_opts/program_opts/string_convert.h [new file with mode: 0644] blob
libprogram_opts/program_opts/typed_value.h [new file with mode: 0644] blob
libprogram_opts/program_opts/value.h [new file with mode: 0644] blob
libprogram_opts/program_opts/value_store.h [new file with mode: 0644] blob
libprogram_opts/src/alarm.cpp [new file with mode: 0644] blob
libprogram_opts/src/application.cpp [new file with mode: 0644] blob
libprogram_opts/src/program_options.cpp [new file with mode: 0644] blob
libprogram_opts/src/string_convert.cpp [new file with mode: 0644] blob
libprogram_opts/src/value_store.cpp [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/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.