Import gringo_4.4.0.orig.tar.gz
authorThomas Krennwallner <tkren@kr.tuwien.ac.at>
Mon, 18 Aug 2014 15:10:34 +0000 (16:10 +0100)
committerThomas Krennwallner <tkren@kr.tuwien.ac.at>
Mon, 18 Aug 2014 15:10:34 +0000 (16:10 +0100)
commit8bf208ba3d66e307019c267db527aac84af7d844
tree0280492bdbf44961a3f8e6d11bfcff78c13b166d
Import gringo_4.4.0.orig.tar.gz

[dgit import orig gringo_4.4.0.orig.tar.gz]
401 files changed:
.clang_complete [new file with mode: 0644]
CHANGES [new file with mode: 0644]
COPYING [new file with mode: 0644]
INSTALL [new file with mode: 0644]
NOTES [new file with mode: 0644]
README [new file with mode: 0644]
SConscript [new file with mode: 0644]
SConstruct [new file with mode: 0644]
app/clingo/src/clasp/clasp_app.cpp [new file with mode: 0644]
app/clingo/src/clasp/clasp_app.h [new file with mode: 0644]
app/clingo/src/clingo_app.cc [new file with mode: 0644]
app/clingo/src/clingo_app.hh [new file with mode: 0644]
app/clingo/src/main.cc [new file with mode: 0644]
app/clingo/tests/lua/assumptions1.lp [new file with mode: 0644]
app/clingo/tests/lua/assumptions1.sol [new file with mode: 0644]
app/clingo/tests/lua/assumptions2.lp [new file with mode: 0644]
app/clingo/tests/lua/assumptions2.sol [new file with mode: 0644]
app/clingo/tests/lua/assumptions3.lp [new file with mode: 0644]
app/clingo/tests/lua/assumptions3.sol [new file with mode: 0644]
app/clingo/tests/lua/assumptions4.lp [new file with mode: 0644]
app/clingo/tests/lua/assumptions4.sol [new file with mode: 0644]
app/clingo/tests/lua/blocksworld1.lp [new file with mode: 0644]
app/clingo/tests/lua/blocksworld1.sol [new file with mode: 0644]
app/clingo/tests/lua/conformant1.lp [new file with mode: 0644]
app/clingo/tests/lua/conformant1.sol [new file with mode: 0644]
app/clingo/tests/lua/conformant2.lp [new file with mode: 0644]
app/clingo/tests/lua/conformant2.sol [new file with mode: 0644]
app/clingo/tests/lua/conformant3.lp [new file with mode: 0644]
app/clingo/tests/lua/conformant3.sol [new file with mode: 0644]
app/clingo/tests/lua/csp-shrinking.lp [new file with mode: 0644]
app/clingo/tests/lua/csp-shrinking.sol [new file with mode: 0644]
app/clingo/tests/lua/externals.lp [new file with mode: 0644]
app/clingo/tests/lua/externals.sol [new file with mode: 0644]
app/clingo/tests/lua/iclingo.lp [new file with mode: 0644]
app/clingo/tests/lua/iclingo.sol [new file with mode: 0644]
app/clingo/tests/lua/interrupt.lp [new file with mode: 0644]
app/clingo/tests/lua/interrupt.sol [new file with mode: 0644]
app/clingo/tests/lua/queens.lp [new file with mode: 0644]
app/clingo/tests/lua/queens.sol [new file with mode: 0644]
app/clingo/tests/lua/robots.lp [new file with mode: 0644]
app/clingo/tests/lua/robots.sol [new file with mode: 0644]
app/clingo/tests/lua/setconfig.lp [new file with mode: 0644]
app/clingo/tests/lua/setconfig.sol [new file with mode: 0644]
app/clingo/tests/lua/show.lp [new file with mode: 0644]
app/clingo/tests/lua/show.sol [new file with mode: 0644]
app/clingo/tests/lua/sokoban.lp [new file with mode: 0644]
app/clingo/tests/lua/sokoban.sol [new file with mode: 0644]
app/clingo/tests/lua/sokoban_back.lp [new file with mode: 0644]
app/clingo/tests/lua/sokoban_back.sol [new file with mode: 0644]
app/clingo/tests/lua/sokoban_para.lp [new file with mode: 0644]
app/clingo/tests/lua/sokoban_para.sol [new file with mode: 0644]
app/clingo/tests/lua/solitaire_para.lp [new file with mode: 0644]
app/clingo/tests/lua/solitaire_para.sol [new file with mode: 0644]
app/clingo/tests/lua/solitaire_sort.lp [new file with mode: 0644]
app/clingo/tests/lua/solitaire_sort.sol [new file with mode: 0644]
app/clingo/tests/lua/test.lp [new file with mode: 0644]
app/clingo/tests/lua/test.sol [new file with mode: 0644]
app/clingo/tests/lua/toh.lp [new file with mode: 0644]
app/clingo/tests/lua/toh.sol [new file with mode: 0644]
app/clingo/tests/lua/unsat-async.lp [new file with mode: 0644]
app/clingo/tests/lua/unsat-async.sol [new file with mode: 0644]
app/clingo/tests/lua/unsat-sync.lp [new file with mode: 0644]
app/clingo/tests/lua/unsat-sync.sol [new file with mode: 0644]
app/clingo/tests/python/assumptions1.lp [new file with mode: 0644]
app/clingo/tests/python/assumptions1.sol [new file with mode: 0644]
app/clingo/tests/python/assumptions2.lp [new file with mode: 0644]
app/clingo/tests/python/assumptions2.sol [new file with mode: 0644]
app/clingo/tests/python/assumptions3.lp [new file with mode: 0644]
app/clingo/tests/python/assumptions3.sol [new file with mode: 0644]
app/clingo/tests/python/assumptions4.lp [new file with mode: 0644]
app/clingo/tests/python/assumptions4.sol [new file with mode: 0644]
app/clingo/tests/python/blocksworld1.lp [new file with mode: 0644]
app/clingo/tests/python/blocksworld1.sol [new file with mode: 0644]
app/clingo/tests/python/externals.lp [new file with mode: 0644]
app/clingo/tests/python/externals.sol [new file with mode: 0644]
app/clingo/tests/python/iclingo.lp [new file with mode: 0644]
app/clingo/tests/python/iclingo.sol [new file with mode: 0644]
app/clingo/tests/python/interrupt.lp [new file with mode: 0644]
app/clingo/tests/python/interrupt.sol [new file with mode: 0644]
app/clingo/tests/python/project.lp [new file with mode: 0644]
app/clingo/tests/python/project.sol [new file with mode: 0644]
app/clingo/tests/python/queens.lp [new file with mode: 0644]
app/clingo/tests/python/queens.sol [new file with mode: 0644]
app/clingo/tests/python/setconfig.lp [new file with mode: 0644]
app/clingo/tests/python/setconfig.sol [new file with mode: 0644]
app/clingo/tests/python/show.lp [new file with mode: 0644]
app/clingo/tests/python/show.sol [new file with mode: 0644]
app/clingo/tests/python/sokoban.cmd [new file with mode: 0644]
app/clingo/tests/python/sokoban.lp [new file with mode: 0644]
app/clingo/tests/python/sokoban.sol [new file with mode: 0644]
app/clingo/tests/python/test.lp [new file with mode: 0644]
app/clingo/tests/python/test.sol [new file with mode: 0644]
app/clingo/tests/run.sh [new file with mode: 0755]
app/gringo/main.cc [new file with mode: 0644]
app/luaclingo/src/clingo_lib.cc [new file with mode: 0644]
app/luaclingo/src/clingo_lib.hh [new file with mode: 0644]
app/luaclingo/src/main.cc [new file with mode: 0644]
app/pyclingo/src/clingo_lib.cc [new file with mode: 0644]
app/pyclingo/src/clingo_lib.hh [new file with mode: 0644]
app/pyclingo/src/main.cc [new file with mode: 0644]
app/shared/include/clingocontrol.hh [new file with mode: 0644]
app/shared/src/clingocontrol.cc [new file with mode: 0644]
examples/asp/gbie/README [new file with mode: 0644]
examples/asp/gbie/gbie1.lp [new file with mode: 0644]
examples/asp/gbie/gbie2.lp [new file with mode: 0644]
examples/asp/gbie/instances/sat_01.lp [new file with mode: 0644]
examples/asp/gbie/instances/sat_02.lp [new file with mode: 0644]
examples/asp/gbie/instances/sat_03.lp [new file with mode: 0644]
examples/asp/gbie/instances/unsat_01.lp [new file with mode: 0644]
examples/asp/gbie/instances/unsat_02.lp [new file with mode: 0644]
examples/asp/queens/README [new file with mode: 0644]
examples/asp/queens/queens1.lp [new file with mode: 0644]
examples/asp/queens/queens2.lp [new file with mode: 0644]
examples/asp/rec-cond/README [new file with mode: 0644]
examples/asp/rec-cond/encoding.lp [new file with mode: 0644]
examples/asp/rec-cond/instance.lp [new file with mode: 0644]
examples/asp/toh/README [new file with mode: 0644]
examples/asp/toh/tohE.lp [new file with mode: 0644]
examples/asp/toh/tohI.lp [new file with mode: 0644]
examples/scripting/addclause/README [new file with mode: 0644]
examples/scripting/addclause/addclause-lua.lp [new file with mode: 0644]
examples/scripting/addclause/addclause-py.lp [new file with mode: 0644]
examples/scripting/blocksworld/README [new file with mode: 0644]
examples/scripting/blocksworld/blocks_01.lp [new file with mode: 0644]
examples/scripting/blocksworld/control_01.lua [new file with mode: 0644]
examples/scripting/blocksworld/control_01.out [new file with mode: 0644]
examples/scripting/blocksworld/lua.lp [new file with mode: 0644]
examples/scripting/blocksworld/lua_interpret.lp [new file with mode: 0644]
examples/scripting/blocksworld/world.lp [new file with mode: 0644]
examples/scripting/commit/README [new file with mode: 0644]
examples/scripting/commit/commit-lua.lp [new file with mode: 0644]
examples/scripting/commit/commit-py.lp [new file with mode: 0644]
examples/scripting/commit/encoding.lp [new file with mode: 0644]
examples/scripting/consequences/README [new file with mode: 0644]
examples/scripting/consequences/brave-lua.lp [new file with mode: 0644]
examples/scripting/consequences/brave-py.lp [new file with mode: 0644]
examples/scripting/consequences/example.lp [new file with mode: 0644]
examples/scripting/context/README [new file with mode: 0644]
examples/scripting/context/context-lua.lp [new file with mode: 0644]
examples/scripting/context/context-py.lp [new file with mode: 0644]
examples/scripting/context/encoding.lp [new file with mode: 0644]
examples/scripting/controller/README [new file with mode: 0644]
examples/scripting/controller/client-lua.lp [new file with mode: 0644]
examples/scripting/controller/client-py.lp [new file with mode: 0644]
examples/scripting/controller/client.lp [new file with mode: 0644]
examples/scripting/controller/server.py [new file with mode: 0644]
examples/scripting/enum-assumption/README [new file with mode: 0644]
examples/scripting/enum-assumption/example-lua.lp [new file with mode: 0644]
examples/scripting/enum-assumption/example-py.lp [new file with mode: 0644]
examples/scripting/external/README [new file with mode: 0644]
examples/scripting/external/external-lua.lp [new file with mode: 0644]
examples/scripting/external/external-py.lp [new file with mode: 0644]
examples/scripting/external/external.lp [new file with mode: 0644]
examples/scripting/iclingo/README [new file with mode: 0644]
examples/scripting/iclingo/example.lp [new file with mode: 0644]
examples/scripting/iclingo/iclingo-int.lp [new file with mode: 0644]
examples/scripting/iclingo/iclingo-lua.lp [new file with mode: 0644]
examples/scripting/iclingo/iclingo-py.lp [new file with mode: 0644]
examples/scripting/include/README [new file with mode: 0644]
examples/scripting/include/encoding-lua.lp [new file with mode: 0644]
examples/scripting/include/encoding-py.lp [new file with mode: 0644]
examples/scripting/include/include.lp [new file with mode: 0644]
examples/scripting/incqueens/README [new file with mode: 0644]
examples/scripting/incqueens/incqueens-lua.lp [new file with mode: 0644]
examples/scripting/incqueens/incqueens-py.lp [new file with mode: 0644]
examples/scripting/incqueens/incqueens.lp [new file with mode: 0644]
examples/scripting/ipython/README [new file with mode: 0644]
examples/scripting/ipython/ipython.py [new file with mode: 0644]
examples/scripting/itersolve/README [new file with mode: 0644]
examples/scripting/itersolve/itersolve-lua.lp [new file with mode: 0644]
examples/scripting/itersolve/itersolve-py.lp [new file with mode: 0644]
examples/scripting/itersolve/program.lp [new file with mode: 0644]
examples/scripting/load/README [new file with mode: 0644]
examples/scripting/load/load-lua.lp [new file with mode: 0644]
examples/scripting/load/load-py.lp [new file with mode: 0644]
examples/scripting/load/program.lp [new file with mode: 0644]
examples/scripting/onmodel/README [new file with mode: 0644]
examples/scripting/onmodel/onmodel-lua.lp [new file with mode: 0644]
examples/scripting/onmodel/onmodel-py.lp [new file with mode: 0644]
examples/scripting/planning/README [new file with mode: 0644]
examples/scripting/planning/convert.lp [new file with mode: 0644]
examples/scripting/planning/convert.sh [new file with mode: 0755]
examples/scripting/planning/encoding.lp [new file with mode: 0644]
examples/scripting/planning/instances/coins01.lp [new file with mode: 0644]
examples/scripting/planning/instances/comm02.lp [new file with mode: 0644]
examples/scripting/planning/instances/comm03.lp [new file with mode: 0644]
examples/scripting/planning/instances/comm05.lp [new file with mode: 0644]
examples/scripting/planning/instances/uts01.lp [new file with mode: 0644]
examples/scripting/planning/planning-lua.lp [new file with mode: 0644]
examples/scripting/pydoc/README [new file with mode: 0644]
examples/scripting/pydoc/pydoc-lib.py [new file with mode: 0755]
examples/scripting/pydoc/pydoc.lp [new file with mode: 0644]
examples/scripting/setconf/README [new file with mode: 0644]
examples/scripting/setconf/setconf-lua.lp [new file with mode: 0644]
examples/scripting/setconf/setconf-py.lp [new file with mode: 0644]
examples/scripting/solitaire/README [new file with mode: 0644]
examples/scripting/solitaire/instance.lp [new file with mode: 0644]
examples/scripting/solitaire/solitaire.lp [new file with mode: 0644]
examples/scripting/solitaire/visualize.py [new file with mode: 0755]
examples/scripting/solve-async/README [new file with mode: 0644]
examples/scripting/solve-async/program.lp [new file with mode: 0644]
examples/scripting/solve-async/solve-async-lua.lp [new file with mode: 0644]
examples/scripting/solve-async/solve-async-py.lp [new file with mode: 0644]
examples/scripting/stats/README [new file with mode: 0644]
examples/scripting/stats/example.lp [new file with mode: 0644]
examples/scripting/stats/stats-lua.lp [new file with mode: 0644]
examples/scripting/stats/stats-py.lp [new file with mode: 0644]
examples/scripting/unblock/README [new file with mode: 0644]
examples/scripting/unblock/inst1.lp [new file with mode: 0644]
examples/scripting/unblock/inst2.lp [new file with mode: 0644]
examples/scripting/unblock/inst3.lp [new file with mode: 0644]
examples/scripting/unblock/inst4.lp [new file with mode: 0644]
examples/scripting/unblock/inst5.lp [new file with mode: 0644]
examples/scripting/unblock/unblock.lp [new file with mode: 0644]
examples/scripting/unblock/visualize.py [new file with mode: 0755]
libclasp/clasp/asp_preprocessor.h [new file with mode: 0644]
libclasp/clasp/cb_enumerator.h [new file with mode: 0644]
libclasp/clasp/clasp_facade.h [new file with mode: 0644]
libclasp/clasp/claspfwd.h [new file with mode: 0644]
libclasp/clasp/clause.h [new file with mode: 0644]
libclasp/clasp/cli/clasp_cli_configs.inl [new file with mode: 0644]
libclasp/clasp/cli/clasp_cli_options.inl [new file with mode: 0644]
libclasp/clasp/cli/clasp_options.h [new file with mode: 0644]
libclasp/clasp/cli/clasp_output.h [new file with mode: 0644]
libclasp/clasp/cli/clifwd.h [new file with mode: 0644]
libclasp/clasp/constraint.h [new file with mode: 0644]
libclasp/clasp/dependency_graph.h [new file with mode: 0644]
libclasp/clasp/enumerator.h [new file with mode: 0644]
libclasp/clasp/heuristics.h [new file with mode: 0644]
libclasp/clasp/literal.h [new file with mode: 0644]
libclasp/clasp/logic_program.h [new file with mode: 0644]
libclasp/clasp/logic_program_types.h [new file with mode: 0644]
libclasp/clasp/lookahead.h [new file with mode: 0644]
libclasp/clasp/minimize_constraint.h [new file with mode: 0644]
libclasp/clasp/model_enumerators.h [new file with mode: 0644]
libclasp/clasp/parallel_solve.h [new file with mode: 0644]
libclasp/clasp/parser.h [new file with mode: 0644]
libclasp/clasp/pod_vector.h [new file with mode: 0644]
libclasp/clasp/program_builder.h [new file with mode: 0644]
libclasp/clasp/satelite.h [new file with mode: 0644]
libclasp/clasp/shared_context.h [new file with mode: 0644]
libclasp/clasp/solve_algorithms.h [new file with mode: 0644]
libclasp/clasp/solver.h [new file with mode: 0644]
libclasp/clasp/solver_strategies.h [new file with mode: 0644]
libclasp/clasp/solver_types.h [new file with mode: 0644]
libclasp/clasp/unfounded_check.h [new file with mode: 0644]
libclasp/clasp/util/atomic.h [new file with mode: 0644]
libclasp/clasp/util/indexed_priority_queue.h [new file with mode: 0644]
libclasp/clasp/util/left_right_sequence.h [new file with mode: 0644]
libclasp/clasp/util/misc_types.h [new file with mode: 0644]
libclasp/clasp/util/multi_queue.h [new file with mode: 0644]
libclasp/clasp/util/mutex.h [new file with mode: 0644]
libclasp/clasp/util/platform.h [new file with mode: 0644]
libclasp/clasp/util/pod_vector.h [new file with mode: 0644]
libclasp/clasp/util/thread.h [new file with mode: 0644]
libclasp/clasp/util/timer.h [new file with mode: 0644]
libclasp/clasp/util/type_manip.h [new file with mode: 0644]
libclasp/clasp/weight_constraint.h [new file with mode: 0644]
libclasp/src/asp_preprocessor.cpp [new file with mode: 0644]
libclasp/src/cb_enumerator.cpp [new file with mode: 0644]
libclasp/src/clasp_facade.cpp [new file with mode: 0644]
libclasp/src/clasp_options.cpp [new file with mode: 0644]
libclasp/src/clasp_output.cpp [new file with mode: 0644]
libclasp/src/clause.cpp [new file with mode: 0644]
libclasp/src/constraint.cpp [new file with mode: 0644]
libclasp/src/dependency_graph.cpp [new file with mode: 0644]
libclasp/src/enumerator.cpp [new file with mode: 0644]
libclasp/src/heuristics.cpp [new file with mode: 0644]
libclasp/src/logic_program.cpp [new file with mode: 0644]
libclasp/src/logic_program_types.cpp [new file with mode: 0644]
libclasp/src/lookahead.cpp [new file with mode: 0644]
libclasp/src/minimize_constraint.cpp [new file with mode: 0644]
libclasp/src/model_enumerators.cpp [new file with mode: 0644]
libclasp/src/parallel_solve.cpp [new file with mode: 0644]
libclasp/src/parser.cpp [new file with mode: 0644]
libclasp/src/program_builder.cpp [new file with mode: 0644]
libclasp/src/satelite.cpp [new file with mode: 0644]
libclasp/src/shared_context.cpp [new file with mode: 0644]
libclasp/src/solve_algorithms.cpp [new file with mode: 0644]
libclasp/src/solver.cpp [new file with mode: 0644]
libclasp/src/solver_strategies.cpp [new file with mode: 0644]
libclasp/src/solver_types.cpp [new file with mode: 0644]
libclasp/src/timer.cpp [new file with mode: 0644]
libclasp/src/unfounded_check.cpp [new file with mode: 0644]
libclasp/src/weight_constraint.cpp [new file with mode: 0644]
libgringo/gringo/backtrace.hh [new file with mode: 0644]
libgringo/gringo/base.hh [new file with mode: 0644]
libgringo/gringo/bug.hh [new file with mode: 0644]
libgringo/gringo/clonable.hh [new file with mode: 0644]
libgringo/gringo/comparable.hh [new file with mode: 0644]
libgringo/gringo/control.hh [new file with mode: 0644]
libgringo/gringo/domain.hh [new file with mode: 0644]
libgringo/gringo/flyweight.hh [new file with mode: 0644]
libgringo/gringo/graph.hh [new file with mode: 0644]
libgringo/gringo/ground/binders.hh [new file with mode: 0644]
libgringo/gringo/ground/dependency.hh [new file with mode: 0644]
libgringo/gringo/ground/instantiation.hh [new file with mode: 0644]
libgringo/gringo/ground/literal.hh [new file with mode: 0644]
libgringo/gringo/ground/literals.hh [new file with mode: 0644]
libgringo/gringo/ground/program.hh [new file with mode: 0644]
libgringo/gringo/ground/statement.hh [new file with mode: 0644]
libgringo/gringo/ground/statements.hh [new file with mode: 0644]
libgringo/gringo/hashable.hh [new file with mode: 0644]
libgringo/gringo/input/aggregate.hh [new file with mode: 0644]
libgringo/gringo/input/aggregates.hh [new file with mode: 0644]
libgringo/gringo/input/literal.hh [new file with mode: 0644]
libgringo/gringo/input/literals.hh [new file with mode: 0644]
libgringo/gringo/input/nongroundparser.hh [new file with mode: 0644]
libgringo/gringo/input/program.hh [new file with mode: 0644]
libgringo/gringo/input/programbuilder.hh [new file with mode: 0644]
libgringo/gringo/input/statement.hh [new file with mode: 0644]
libgringo/gringo/intervals.hh [new file with mode: 0644]
libgringo/gringo/lexerstate.hh [new file with mode: 0644]
libgringo/gringo/locatable.hh [new file with mode: 0644]
libgringo/gringo/logger.hh [new file with mode: 0644]
libgringo/gringo/lua.hh [new file with mode: 0644]
libgringo/gringo/output/literal.hh [new file with mode: 0644]
libgringo/gringo/output/literals.hh [new file with mode: 0644]
libgringo/gringo/output/lparseoutputter.hh [new file with mode: 0644]
libgringo/gringo/output/output.hh [new file with mode: 0644]
libgringo/gringo/output/statement.hh [new file with mode: 0644]
libgringo/gringo/output/statements.hh [new file with mode: 0644]
libgringo/gringo/printable.hh [new file with mode: 0644]
libgringo/gringo/python.hh [new file with mode: 0644]
libgringo/gringo/safetycheck.hh [new file with mode: 0644]
libgringo/gringo/scripts.hh [new file with mode: 0644]
libgringo/gringo/term.hh [new file with mode: 0644]
libgringo/gringo/terms.hh [new file with mode: 0644]
libgringo/gringo/unique_list.hh [new file with mode: 0644]
libgringo/gringo/utility.hh [new file with mode: 0644]
libgringo/gringo/value.hh [new file with mode: 0644]
libgringo/gringo/version.hh [new file with mode: 0644]
libgringo/src/ground/instantiation.cc [new file with mode: 0644]
libgringo/src/ground/literals.cc [new file with mode: 0644]
libgringo/src/ground/program.cc [new file with mode: 0644]
libgringo/src/ground/statements.cc [new file with mode: 0644]
libgringo/src/input/aggregate.cc [new file with mode: 0644]
libgringo/src/input/aggregates.cc [new file with mode: 0644]
libgringo/src/input/literal.cc [new file with mode: 0644]
libgringo/src/input/literals.cc [new file with mode: 0644]
libgringo/src/input/nongroundgrammar.yy [new file with mode: 0644]
libgringo/src/input/nongroundlexer.xh [new file with mode: 0644]
libgringo/src/input/nongroundparser.cc [new file with mode: 0644]
libgringo/src/input/program.cc [new file with mode: 0644]
libgringo/src/input/programbuilder.cc [new file with mode: 0644]
libgringo/src/input/statement.cc [new file with mode: 0644]
libgringo/src/lua.cc [new file with mode: 0644]
libgringo/src/output/literals.cc [new file with mode: 0644]
libgringo/src/output/output.cc [new file with mode: 0644]
libgringo/src/output/statements.cc [new file with mode: 0644]
libgringo/src/python.cc [new file with mode: 0644]
libgringo/src/scripts.cc [new file with mode: 0644]
libgringo/src/term.cc [new file with mode: 0644]
libgringo/src/terms.cc [new file with mode: 0644]
libgringo/tests/flyweight.cc [new file with mode: 0644]
libgringo/tests/graph.cc [new file with mode: 0644]
libgringo/tests/ground/dependency.cc [new file with mode: 0644]
libgringo/tests/ground/instantiation.cc [new file with mode: 0644]
libgringo/tests/ground/literal.cc [new file with mode: 0644]
libgringo/tests/ground/program.cc [new file with mode: 0644]
libgringo/tests/input/aggregate.cc [new file with mode: 0644]
libgringo/tests/input/aggregate_helper.hh [new file with mode: 0644]
libgringo/tests/input/lit_helper.hh [new file with mode: 0644]
libgringo/tests/input/literal.cc [new file with mode: 0644]
libgringo/tests/input/nongroundgrammar.cc [new file with mode: 0644]
libgringo/tests/input/nongroundlexer.cc [new file with mode: 0644]
libgringo/tests/input/program.cc [new file with mode: 0644]
libgringo/tests/input/programbuilder.cc [new file with mode: 0644]
libgringo/tests/intervals.cc [new file with mode: 0644]
libgringo/tests/lua.cc [new file with mode: 0644]
libgringo/tests/main.cc [new file with mode: 0644]
libgringo/tests/output/aspcomp13.cc [new file with mode: 0644]
libgringo/tests/output/incremental.cc [new file with mode: 0644]
libgringo/tests/output/lparse.cc [new file with mode: 0644]
libgringo/tests/output/solver_helper.hh [new file with mode: 0644]
libgringo/tests/output/warnings.cc [new file with mode: 0644]
libgringo/tests/python.cc [new file with mode: 0644]
libgringo/tests/safetycheck.cc [new file with mode: 0644]
libgringo/tests/term.cc [new file with mode: 0644]
libgringo/tests/term_helper.hh [new file with mode: 0644]
libgringo/tests/tests.hh [new file with mode: 0644]
libgringo/tests/unique_list.cc [new file with mode: 0644]
libgringo/tests/utility.cc [new file with mode: 0644]
libgringo/tests/value.cc [new file with mode: 0644]
libprogram_opts/program_opts/application.h [new file with mode: 0644]
libprogram_opts/program_opts/detail/alarm.h [new file with mode: 0644]
libprogram_opts/program_opts/detail/notifier.h [new file with mode: 0644]
libprogram_opts/program_opts/detail/refcountable.h [new file with mode: 0644]
libprogram_opts/program_opts/detail/value_store.h [new file with mode: 0644]
libprogram_opts/program_opts/errors.h [new file with mode: 0644]
libprogram_opts/program_opts/mapped_value.h [new file with mode: 0644]
libprogram_opts/program_opts/program_options.h [new file with mode: 0644]
libprogram_opts/program_opts/string_convert.h [new file with mode: 0644]
libprogram_opts/program_opts/typed_value.h [new file with mode: 0644]
libprogram_opts/program_opts/value.h [new file with mode: 0644]
libprogram_opts/program_opts/value_store.h [new file with mode: 0644]
libprogram_opts/src/alarm.cpp [new file with mode: 0644]
libprogram_opts/src/application.cpp [new file with mode: 0644]
libprogram_opts/src/program_options.cpp [new file with mode: 0644]
libprogram_opts/src/string_convert.cpp [new file with mode: 0644]
libprogram_opts/src/value_store.cpp [new file with mode: 0644]