[gringo] branch master updated (985685c -> eec90a2)
Thomas Krennwallner
tkren-guest at moszumanska.debian.org
Mon Aug 18 16:04:48 UTC 2014
This is an automated email from the git hooks/post-receive script.
tkren-guest pushed a change to branch master
in repository gringo.
from 985685c Bug fix: "non-standard gcc/g++ used for build (gcc-4.8)", thanks to Matthias Klose (Closes: #751317). Build with system-wide liblua5.2-dev.
adds f6f4613 Initial upstream branch.
adds 612570a Imported Upstream version 4.4.0
new 6719c26 Merge tag 'upstream/4.4.0'
new 03e44e0 debian/control: Remove Suggests on potassco-guide.
new 9268a91 debian/control: Fix Vcs fields to use anonscm.debian.org.
new eec90a2 New upstream release.
The 4 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.
Summary of changes:
.clang_complete | 19 +
CHANGES | 74 +
COPYING | 674 +
INSTALL | 206 +
NOTES | 291 +
README | 22 +
SConscript | 328 +
SConstruct | 119 +
app/clingo/src/clasp/clasp_app.cpp | 593 +
app/clingo/src/clasp/clasp_app.h | 187 +
app/clingo/src/clingo_app.cc | 171 +
app/clingo/src/clingo_app.hh | 67 +
app/clingo/src/main.cc | 27 +
app/clingo/tests/lua/assumptions1.lp | 13 +
app/clingo/tests/lua/assumptions1.sol | 3 +
app/clingo/tests/lua/assumptions2.lp | 13 +
app/clingo/tests/lua/assumptions2.sol | 3 +
app/clingo/tests/lua/assumptions3.lp | 14 +
app/clingo/tests/lua/assumptions3.sol | 5 +
app/clingo/tests/lua/assumptions4.lp | 31 +
app/clingo/tests/lua/assumptions4.sol | 7 +
app/clingo/tests/lua/blocksworld1.lp | 226 +
app/clingo/tests/lua/blocksworld1.sol | 12 +
app/clingo/tests/lua/conformant1.lp | 292 +
app/clingo/tests/lua/conformant1.sol | 48 +
app/clingo/tests/lua/conformant2.lp | 153 +
app/clingo/tests/lua/conformant2.sol | 14 +
app/clingo/tests/lua/conformant3.lp | 287 +
app/clingo/tests/lua/conformant3.sol | 201 +
app/clingo/tests/lua/csp-shrinking.lp | 16 +
app/clingo/tests/lua/csp-shrinking.sol | 53 +
app/clingo/tests/lua/externals.lp | 19 +
app/clingo/tests/lua/externals.sol | 7 +
app/clingo/tests/lua/iclingo.lp | 25 +
app/clingo/tests/lua/iclingo.sol | 7 +
app/clingo/tests/lua/interrupt.lp | 23 +
app/clingo/tests/lua/interrupt.sol | 7 +
app/clingo/tests/lua/queens.lp | 41 +
app/clingo/tests/lua/queens.sol | 2 +
app/clingo/tests/lua/robots.lp | 212 +
app/clingo/tests/lua/robots.sol | 8 +
app/clingo/tests/lua/setconfig.lp | 28 +
app/clingo/tests/lua/setconfig.sol | 11 +
app/clingo/tests/lua/show.lp | 63 +
app/clingo/tests/lua/show.sol | 7 +
app/clingo/tests/lua/sokoban.lp | 124 +
app/clingo/tests/lua/sokoban.sol | 16 +
app/clingo/tests/lua/sokoban_back.lp | 136 +
app/clingo/tests/lua/sokoban_back.sol | 16 +
app/clingo/tests/lua/sokoban_para.lp | 167 +
app/clingo/tests/lua/sokoban_para.sol | 21 +
app/clingo/tests/lua/solitaire_para.lp | 140 +
app/clingo/tests/lua/solitaire_para.sol | 23 +
app/clingo/tests/lua/solitaire_sort.lp | 193 +
app/clingo/tests/lua/solitaire_sort.sol | 20 +
app/clingo/tests/lua/test.lp | 74 +
app/clingo/tests/lua/test.sol | 45 +
app/clingo/tests/lua/toh.lp | 105 +
app/clingo/tests/lua/toh.sol | 35 +
app/clingo/tests/lua/unsat-async.lp | 11 +
app/clingo/tests/lua/unsat-async.sol | 1 +
app/clingo/tests/lua/unsat-sync.lp | 11 +
app/clingo/tests/lua/unsat-sync.sol | 1 +
app/clingo/tests/python/assumptions1.lp | 13 +
app/clingo/tests/python/assumptions1.sol | 3 +
app/clingo/tests/python/assumptions2.lp | 13 +
app/clingo/tests/python/assumptions2.sol | 3 +
app/clingo/tests/python/assumptions3.lp | 14 +
app/clingo/tests/python/assumptions3.sol | 5 +
app/clingo/tests/python/assumptions4.lp | 19 +
app/clingo/tests/python/assumptions4.sol | 7 +
app/clingo/tests/python/blocksworld1.lp | 216 +
app/clingo/tests/python/blocksworld1.sol | 12 +
app/clingo/tests/python/externals.lp | 19 +
app/clingo/tests/python/externals.sol | 7 +
app/clingo/tests/python/iclingo.lp | 22 +
app/clingo/tests/python/iclingo.sol | 7 +
app/clingo/tests/python/interrupt.lp | 23 +
app/clingo/tests/python/interrupt.sol | 7 +
app/clingo/tests/python/project.lp | 192 +
app/clingo/tests/python/project.sol | 28 +
app/clingo/tests/python/queens.lp | 37 +
app/clingo/tests/python/queens.sol | 1236 +
app/clingo/tests/python/setconfig.lp | 29 +
app/clingo/tests/python/setconfig.sol | 11 +
app/clingo/tests/python/show.lp | 53 +
app/clingo/tests/python/show.sol | 7 +
app/clingo/tests/python/sokoban.cmd | 1 +
app/clingo/tests/python/sokoban.lp | 104 +
app/clingo/tests/python/sokoban.sol | 14 +
app/clingo/tests/python/test.lp | 51 +
app/clingo/tests/python/test.sol | 45 +
app/clingo/tests/run.sh | 131 +
app/gringo/main.cc | 343 +
app/luaclingo/src/clingo_lib.cc | 117 +
app/luaclingo/src/clingo_lib.hh | 51 +
app/luaclingo/src/main.cc | 43 +
app/pyclingo/src/clingo_lib.cc | 117 +
app/pyclingo/src/clingo_lib.hh | 51 +
app/pyclingo/src/main.cc | 43 +
app/shared/include/clingocontrol.hh | 293 +
app/shared/src/clingocontrol.cc | 447 +
debian/changelog | 10 +
debian/control | 5 +-
examples/asp/gbie/README | 9 +
examples/asp/gbie/gbie1.lp | 47 +
examples/asp/gbie/gbie2.lp | 32 +
examples/asp/gbie/instances/sat_01.lp | 33 +
examples/asp/gbie/instances/sat_02.lp | 95144 +++++++++++++++++++
examples/asp/gbie/instances/sat_03.lp | 81956 ++++++++++++++++
examples/asp/gbie/instances/unsat_01.lp | 42 +
examples/asp/gbie/instances/unsat_02.lp | 83951 ++++++++++++++++
examples/asp/queens/README | 6 +
examples/asp/queens/queens1.lp | 15 +
examples/asp/queens/queens2.lp | 18 +
examples/asp/rec-cond/README | 4 +
examples/asp/rec-cond/encoding.lp | 61 +
examples/asp/rec-cond/instance.lp | 132 +
examples/asp/toh/README | 4 +
examples/asp/toh/tohE.lp | 22 +
examples/asp/toh/tohI.lp | 6 +
examples/scripting/addclause/README | 5 +
examples/scripting/addclause/addclause-lua.lp | 20 +
examples/scripting/addclause/addclause-py.lp | 19 +
examples/scripting/blocksworld/README | 13 +
examples/scripting/blocksworld/blocks_01.lp | 27 +
examples/scripting/blocksworld/control_01.lua | 11 +
examples/scripting/blocksworld/control_01.out | 235 +
examples/scripting/blocksworld/lua.lp | 126 +
examples/scripting/blocksworld/lua_interpret.lp | 21 +
examples/scripting/blocksworld/world.lp | 130 +
examples/scripting/commit/README | 7 +
examples/scripting/commit/commit-lua.lp | 17 +
examples/scripting/commit/commit-py.lp | 14 +
examples/scripting/commit/encoding.lp | 5 +
examples/scripting/consequences/README | 6 +
examples/scripting/consequences/brave-lua.lp | 46 +
examples/scripting/consequences/brave-py.lp | 24 +
examples/scripting/consequences/example.lp | 4 +
examples/scripting/context/README | 6 +
examples/scripting/context/context-lua.lp | 30 +
examples/scripting/context/context-py.lp | 21 +
examples/scripting/context/encoding.lp | 1 +
examples/scripting/controller/README | 11 +
examples/scripting/controller/client-lua.lp | 74 +
examples/scripting/controller/client-py.lp | 71 +
examples/scripting/controller/client.lp | 15 +
examples/scripting/controller/server.py | 99 +
examples/scripting/enum-assumption/README | 8 +
examples/scripting/enum-assumption/example-lua.lp | 20 +
examples/scripting/enum-assumption/example-py.lp | 19 +
examples/scripting/external/README | 3 +
examples/scripting/external/external-lua.lp | 15 +
examples/scripting/external/external-py.lp | 14 +
examples/scripting/external/external.lp | 8 +
examples/scripting/iclingo/README | 10 +
examples/scripting/iclingo/example.lp | 18 +
examples/scripting/iclingo/iclingo-int.lp | 1 +
examples/scripting/iclingo/iclingo-lua.lp | 53 +
examples/scripting/iclingo/iclingo-py.lp | 34 +
examples/scripting/include/README | 5 +
examples/scripting/include/encoding-lua.lp | 13 +
examples/scripting/include/encoding-py.lp | 12 +
examples/scripting/include/include.lp | 1 +
examples/scripting/incqueens/README | 7 +
examples/scripting/incqueens/incqueens-lua.lp | 20 +
examples/scripting/incqueens/incqueens-py.lp | 14 +
examples/scripting/incqueens/incqueens.lp | 23 +
examples/scripting/ipython/README | 23 +
examples/scripting/ipython/ipython.py | 7 +
examples/scripting/itersolve/README | 5 +
examples/scripting/itersolve/itersolve-lua.lp | 25 +
examples/scripting/itersolve/itersolve-py.lp | 9 +
examples/scripting/itersolve/program.lp | 1 +
examples/scripting/load/README | 5 +
examples/scripting/load/load-lua.lp | 16 +
examples/scripting/load/load-py.lp | 15 +
examples/scripting/load/program.lp | 3 +
examples/scripting/onmodel/README | 9 +
examples/scripting/onmodel/onmodel-lua.lp | 44 +
examples/scripting/onmodel/onmodel-py.lp | 31 +
examples/scripting/planning/README | 6 +
examples/scripting/planning/convert.lp | 28 +
examples/scripting/planning/convert.sh | 2 +
examples/scripting/planning/encoding.lp | 90 +
examples/scripting/planning/instances/coins01.lp | 139 +
examples/scripting/planning/instances/comm02.lp | 179 +
examples/scripting/planning/instances/comm03.lp | 239 +
examples/scripting/planning/instances/comm05.lp | 371 +
examples/scripting/planning/instances/uts01.lp | 37 +
examples/scripting/planning/planning-lua.lp | 37 +
examples/scripting/pydoc/README | 3 +
examples/scripting/pydoc/pydoc-lib.py | 5 +
examples/scripting/pydoc/pydoc.lp | 8 +
examples/scripting/setconf/README | 5 +
examples/scripting/setconf/setconf-lua.lp | 53 +
examples/scripting/setconf/setconf-py.lp | 50 +
examples/scripting/solitaire/README | 53 +
examples/scripting/solitaire/instance.lp | 37 +
examples/scripting/solitaire/solitaire.lp | 33 +
examples/scripting/solitaire/visualize.py | 163 +
examples/scripting/solve-async/README | 7 +
examples/scripting/solve-async/program.lp | 5 +
examples/scripting/solve-async/solve-async-lua.lp | 23 +
examples/scripting/solve-async/solve-async-py.lp | 20 +
examples/scripting/stats/README | 8 +
examples/scripting/stats/example.lp | 3 +
examples/scripting/stats/stats-lua.lp | 17 +
examples/scripting/stats/stats-py.lp | 13 +
examples/scripting/unblock/README | 11 +
examples/scripting/unblock/inst1.lp | 15 +
examples/scripting/unblock/inst2.lp | 18 +
examples/scripting/unblock/inst3.lp | 11 +
examples/scripting/unblock/inst4.lp | 14 +
examples/scripting/unblock/inst5.lp | 42 +
examples/scripting/unblock/unblock.lp | 48 +
examples/scripting/unblock/visualize.py | 177 +
libclasp/clasp/asp_preprocessor.h | 126 +
libclasp/clasp/cb_enumerator.h | 59 +
libclasp/clasp/clasp_facade.h | 347 +
libclasp/clasp/claspfwd.h | 57 +
libclasp/clasp/clause.h | 531 +
libclasp/clasp/cli/clasp_cli_configs.inl | 87 +
libclasp/clasp/cli/clasp_cli_options.inl | 428 +
libclasp/clasp/cli/clasp_options.h | 314 +
libclasp/clasp/cli/clasp_output.h | 258 +
libclasp/clasp/cli/clifwd.h | 32 +
libclasp/clasp/constraint.h | 532 +
libclasp/clasp/dependency_graph.h | 301 +
libclasp/clasp/enumerator.h | 301 +
libclasp/clasp/heuristics.h | 417 +
libclasp/clasp/literal.h | 399 +
libclasp/clasp/logic_program.h | 512 +
libclasp/clasp/logic_program_types.h | 727 +
libclasp/clasp/lookahead.h | 239 +
libclasp/clasp/minimize_constraint.h | 561 +
libclasp/clasp/model_enumerators.h | 114 +
libclasp/clasp/parallel_solve.h | 353 +
libclasp/clasp/parser.h | 262 +
libclasp/clasp/pod_vector.h | 95 +
libclasp/clasp/program_builder.h | 219 +
libclasp/clasp/satelite.h | 167 +
libclasp/clasp/shared_context.h | 711 +
libclasp/clasp/solve_algorithms.h | 215 +
libclasp/clasp/solver.h | 1082 +
libclasp/clasp/solver_strategies.h | 455 +
libclasp/clasp/solver_types.h | 872 +
libclasp/clasp/unfounded_check.h | 292 +
libclasp/clasp/util/atomic.h | 82 +
libclasp/clasp/util/indexed_priority_queue.h | 216 +
libclasp/clasp/util/left_right_sequence.h | 350 +
libclasp/clasp/util/misc_types.h | 377 +
libclasp/clasp/util/multi_queue.h | 252 +
libclasp/clasp/util/mutex.h | 85 +
libclasp/clasp/util/platform.h | 179 +
libclasp/clasp/util/pod_vector.h | 558 +
libclasp/clasp/util/thread.h | 47 +
libclasp/clasp/util/timer.h | 64 +
libclasp/clasp/util/type_manip.h | 137 +
libclasp/clasp/weight_constraint.h | 213 +
libclasp/src/asp_preprocessor.cpp | 513 +
libclasp/src/cb_enumerator.cpp | 182 +
libclasp/src/clasp_facade.cpp | 612 +
libclasp/src/clasp_options.cpp | 975 +
libclasp/src/clasp_output.cpp | 953 +
libclasp/src/clause.cpp | 1068 +
libclasp/src/constraint.cpp | 92 +
libclasp/src/dependency_graph.cpp | 659 +
libclasp/src/enumerator.cpp | 289 +
libclasp/src/heuristics.cpp | 916 +
libclasp/src/logic_program.cpp | 1411 +
libclasp/src/logic_program_types.cpp | 1461 +
libclasp/src/lookahead.cpp | 393 +
libclasp/src/minimize_constraint.cpp | 1407 +
libclasp/src/model_enumerators.cpp | 317 +
libclasp/src/parallel_solve.cpp | 1069 +
libclasp/src/parser.cpp | 456 +
libclasp/src/program_builder.cpp | 300 +
libclasp/src/satelite.cpp | 619 +
libclasp/src/shared_context.cpp | 825 +
libclasp/src/solve_algorithms.cpp | 324 +
libclasp/src/solver.cpp | 1581 +
libclasp/src/solver_strategies.cpp | 314 +
libclasp/src/solver_types.cpp | 149 +
libclasp/src/timer.cpp | 104 +
libclasp/src/unfounded_check.cpp | 798 +
libclasp/src/weight_constraint.cpp | 585 +
libgringo/gringo/backtrace.hh | 119 +
libgringo/gringo/base.hh | 258 +
libgringo/gringo/bug.hh | 81 +
libgringo/gringo/clonable.hh | 50 +
libgringo/gringo/comparable.hh | 42 +
libgringo/gringo/control.hh | 179 +
libgringo/gringo/domain.hh | 590 +
libgringo/gringo/flyweight.hh | 522 +
libgringo/gringo/graph.hh | 156 +
libgringo/gringo/ground/binders.hh | 203 +
libgringo/gringo/ground/dependency.hh | 299 +
libgringo/gringo/ground/instantiation.hh | 136 +
libgringo/gringo/ground/literal.hh | 68 +
libgringo/gringo/ground/literals.hh | 176 +
libgringo/gringo/ground/program.hh | 68 +
libgringo/gringo/ground/statement.hh | 52 +
libgringo/gringo/ground/statements.hh | 752 +
libgringo/gringo/hashable.hh | 68 +
libgringo/gringo/input/aggregate.hh | 200 +
libgringo/gringo/input/aggregates.hh | 306 +
libgringo/gringo/input/literal.hh | 97 +
libgringo/gringo/input/literals.hh | 202 +
libgringo/gringo/input/nongroundparser.hh | 87 +
libgringo/gringo/input/program.hh | 87 +
libgringo/gringo/input/programbuilder.hh | 329 +
libgringo/gringo/input/statement.hh | 97 +
libgringo/gringo/intervals.hh | 318 +
libgringo/gringo/lexerstate.hh | 314 +
libgringo/gringo/locatable.hh | 152 +
libgringo/gringo/logger.hh | 135 +
libgringo/gringo/lua.hh | 50 +
libgringo/gringo/output/literal.hh | 64 +
libgringo/gringo/output/literals.hh | 354 +
libgringo/gringo/output/lparseoutputter.hh | 62 +
libgringo/gringo/output/output.hh | 95 +
libgringo/gringo/output/statement.hh | 73 +
libgringo/gringo/output/statements.hh | 242 +
libgringo/gringo/printable.hh | 46 +
libgringo/gringo/python.hh | 48 +
libgringo/gringo/safetycheck.hh | 186 +
libgringo/gringo/scripts.hh | 58 +
libgringo/gringo/term.hh | 766 +
libgringo/gringo/terms.hh | 131 +
libgringo/gringo/unique_list.hh | 356 +
libgringo/gringo/utility.hh | 455 +
libgringo/gringo/value.hh | 551 +
libgringo/gringo/version.hh | 26 +
libgringo/src/ground/instantiation.cc | 154 +
libgringo/src/ground/literals.cc | 440 +
libgringo/src/ground/program.cc | 149 +
libgringo/src/ground/statements.cc | 1686 +
libgringo/src/input/aggregate.cc | 107 +
libgringo/src/input/aggregates.cc | 1339 +
libgringo/src/input/literal.cc | 60 +
libgringo/src/input/literals.cc | 487 +
libgringo/src/input/nongroundgrammar.yy | 780 +
libgringo/src/input/nongroundlexer.xh | 176 +
libgringo/src/input/nongroundparser.cc | 255 +
libgringo/src/input/program.cc | 222 +
libgringo/src/input/programbuilder.cc | 357 +
libgringo/src/input/statement.cc | 369 +
libgringo/src/lua.cc | 1422 +
libgringo/src/output/literals.cc | 868 +
libgringo/src/output/output.cc | 918 +
libgringo/src/output/statements.cc | 772 +
libgringo/src/python.cc | 2459 +
libgringo/src/scripts.cc | 52 +
libgringo/src/term.cc | 1604 +
libgringo/src/terms.cc | 178 +
libgringo/tests/flyweight.cc | 238 +
libgringo/tests/graph.cc | 115 +
libgringo/tests/ground/dependency.cc | 252 +
libgringo/tests/ground/instantiation.cc | 1097 +
libgringo/tests/ground/literal.cc | 195 +
libgringo/tests/ground/program.cc | 240 +
libgringo/tests/input/aggregate.cc | 457 +
libgringo/tests/input/aggregate_helper.hh | 89 +
libgringo/tests/input/lit_helper.hh | 93 +
libgringo/tests/input/literal.cc | 210 +
libgringo/tests/input/nongroundgrammar.cc | 963 +
libgringo/tests/input/nongroundlexer.cc | 124 +
libgringo/tests/input/program.cc | 177 +
libgringo/tests/input/programbuilder.cc | 304 +
libgringo/tests/intervals.cc | 401 +
libgringo/tests/lua.cc | 158 +
libgringo/tests/main.cc | 31 +
libgringo/tests/output/aspcomp13.cc | 2639 +
libgringo/tests/output/incremental.cc | 302 +
libgringo/tests/output/lparse.cc | 818 +
libgringo/tests/output/solver_helper.hh | 117 +
libgringo/tests/output/warnings.cc | 129 +
libgringo/tests/python.cc | 167 +
libgringo/tests/safetycheck.cc | 101 +
libgringo/tests/term.cc | 344 +
libgringo/tests/term_helper.hh | 94 +
libgringo/tests/tests.hh | 318 +
libgringo/tests/unique_list.cc | 105 +
libgringo/tests/utility.cc | 256 +
libgringo/tests/value.cc | 243 +
libprogram_opts/program_opts/application.h | 132 +
libprogram_opts/program_opts/detail/alarm.h | 74 +
libprogram_opts/program_opts/detail/notifier.h | 58 +
libprogram_opts/program_opts/detail/refcountable.h | 72 +
libprogram_opts/program_opts/detail/value_store.h | 87 +
libprogram_opts/program_opts/errors.h | 109 +
libprogram_opts/program_opts/mapped_value.h | 92 +
libprogram_opts/program_opts/program_options.h | 511 +
libprogram_opts/program_opts/string_convert.h | 280 +
libprogram_opts/program_opts/typed_value.h | 250 +
libprogram_opts/program_opts/value.h | 207 +
libprogram_opts/program_opts/value_store.h | 152 +
libprogram_opts/src/alarm.cpp | 161 +
libprogram_opts/src/application.cpp | 265 +
libprogram_opts/src/program_options.cpp | 957 +
libprogram_opts/src/string_convert.cpp | 222 +
libprogram_opts/src/value_store.cpp | 81 +
403 files changed, 345659 insertions(+), 3 deletions(-)
create mode 100644 .clang_complete
create mode 100644 CHANGES
create mode 100644 COPYING
create mode 100644 INSTALL
create mode 100644 NOTES
create mode 100644 README
create mode 100644 SConscript
create mode 100644 SConstruct
create mode 100644 app/clingo/src/clasp/clasp_app.cpp
create mode 100644 app/clingo/src/clasp/clasp_app.h
create mode 100644 app/clingo/src/clingo_app.cc
create mode 100644 app/clingo/src/clingo_app.hh
create mode 100644 app/clingo/src/main.cc
create mode 100644 app/clingo/tests/lua/assumptions1.lp
create mode 100644 app/clingo/tests/lua/assumptions1.sol
create mode 100644 app/clingo/tests/lua/assumptions2.lp
create mode 100644 app/clingo/tests/lua/assumptions2.sol
create mode 100644 app/clingo/tests/lua/assumptions3.lp
create mode 100644 app/clingo/tests/lua/assumptions3.sol
create mode 100644 app/clingo/tests/lua/assumptions4.lp
create mode 100644 app/clingo/tests/lua/assumptions4.sol
create mode 100644 app/clingo/tests/lua/blocksworld1.lp
create mode 100644 app/clingo/tests/lua/blocksworld1.sol
create mode 100644 app/clingo/tests/lua/conformant1.lp
create mode 100644 app/clingo/tests/lua/conformant1.sol
create mode 100644 app/clingo/tests/lua/conformant2.lp
create mode 100644 app/clingo/tests/lua/conformant2.sol
create mode 100644 app/clingo/tests/lua/conformant3.lp
create mode 100644 app/clingo/tests/lua/conformant3.sol
create mode 100644 app/clingo/tests/lua/csp-shrinking.lp
create mode 100644 app/clingo/tests/lua/csp-shrinking.sol
create mode 100644 app/clingo/tests/lua/externals.lp
create mode 100644 app/clingo/tests/lua/externals.sol
create mode 100644 app/clingo/tests/lua/iclingo.lp
create mode 100644 app/clingo/tests/lua/iclingo.sol
create mode 100644 app/clingo/tests/lua/interrupt.lp
create mode 100644 app/clingo/tests/lua/interrupt.sol
create mode 100644 app/clingo/tests/lua/queens.lp
create mode 100644 app/clingo/tests/lua/queens.sol
create mode 100644 app/clingo/tests/lua/robots.lp
create mode 100644 app/clingo/tests/lua/robots.sol
create mode 100644 app/clingo/tests/lua/setconfig.lp
create mode 100644 app/clingo/tests/lua/setconfig.sol
create mode 100644 app/clingo/tests/lua/show.lp
create mode 100644 app/clingo/tests/lua/show.sol
create mode 100644 app/clingo/tests/lua/sokoban.lp
create mode 100644 app/clingo/tests/lua/sokoban.sol
create mode 100644 app/clingo/tests/lua/sokoban_back.lp
create mode 100644 app/clingo/tests/lua/sokoban_back.sol
create mode 100644 app/clingo/tests/lua/sokoban_para.lp
create mode 100644 app/clingo/tests/lua/sokoban_para.sol
create mode 100644 app/clingo/tests/lua/solitaire_para.lp
create mode 100644 app/clingo/tests/lua/solitaire_para.sol
create mode 100644 app/clingo/tests/lua/solitaire_sort.lp
create mode 100644 app/clingo/tests/lua/solitaire_sort.sol
create mode 100644 app/clingo/tests/lua/test.lp
create mode 100644 app/clingo/tests/lua/test.sol
create mode 100644 app/clingo/tests/lua/toh.lp
create mode 100644 app/clingo/tests/lua/toh.sol
create mode 100644 app/clingo/tests/lua/unsat-async.lp
create mode 100644 app/clingo/tests/lua/unsat-async.sol
create mode 100644 app/clingo/tests/lua/unsat-sync.lp
create mode 100644 app/clingo/tests/lua/unsat-sync.sol
create mode 100644 app/clingo/tests/python/assumptions1.lp
create mode 100644 app/clingo/tests/python/assumptions1.sol
create mode 100644 app/clingo/tests/python/assumptions2.lp
create mode 100644 app/clingo/tests/python/assumptions2.sol
create mode 100644 app/clingo/tests/python/assumptions3.lp
create mode 100644 app/clingo/tests/python/assumptions3.sol
create mode 100644 app/clingo/tests/python/assumptions4.lp
create mode 100644 app/clingo/tests/python/assumptions4.sol
create mode 100644 app/clingo/tests/python/blocksworld1.lp
create mode 100644 app/clingo/tests/python/blocksworld1.sol
create mode 100644 app/clingo/tests/python/externals.lp
create mode 100644 app/clingo/tests/python/externals.sol
create mode 100644 app/clingo/tests/python/iclingo.lp
create mode 100644 app/clingo/tests/python/iclingo.sol
create mode 100644 app/clingo/tests/python/interrupt.lp
create mode 100644 app/clingo/tests/python/interrupt.sol
create mode 100644 app/clingo/tests/python/project.lp
create mode 100644 app/clingo/tests/python/project.sol
create mode 100644 app/clingo/tests/python/queens.lp
create mode 100644 app/clingo/tests/python/queens.sol
create mode 100644 app/clingo/tests/python/setconfig.lp
create mode 100644 app/clingo/tests/python/setconfig.sol
create mode 100644 app/clingo/tests/python/show.lp
create mode 100644 app/clingo/tests/python/show.sol
create mode 100644 app/clingo/tests/python/sokoban.cmd
create mode 100644 app/clingo/tests/python/sokoban.lp
create mode 100644 app/clingo/tests/python/sokoban.sol
create mode 100644 app/clingo/tests/python/test.lp
create mode 100644 app/clingo/tests/python/test.sol
create mode 100755 app/clingo/tests/run.sh
create mode 100644 app/gringo/main.cc
create mode 100644 app/luaclingo/src/clingo_lib.cc
create mode 100644 app/luaclingo/src/clingo_lib.hh
create mode 100644 app/luaclingo/src/main.cc
create mode 100644 app/pyclingo/src/clingo_lib.cc
create mode 100644 app/pyclingo/src/clingo_lib.hh
create mode 100644 app/pyclingo/src/main.cc
create mode 100644 app/shared/include/clingocontrol.hh
create mode 100644 app/shared/src/clingocontrol.cc
create mode 100644 examples/asp/gbie/README
create mode 100644 examples/asp/gbie/gbie1.lp
create mode 100644 examples/asp/gbie/gbie2.lp
create mode 100644 examples/asp/gbie/instances/sat_01.lp
create mode 100644 examples/asp/gbie/instances/sat_02.lp
create mode 100644 examples/asp/gbie/instances/sat_03.lp
create mode 100644 examples/asp/gbie/instances/unsat_01.lp
create mode 100644 examples/asp/gbie/instances/unsat_02.lp
create mode 100644 examples/asp/queens/README
create mode 100644 examples/asp/queens/queens1.lp
create mode 100644 examples/asp/queens/queens2.lp
create mode 100644 examples/asp/rec-cond/README
create mode 100644 examples/asp/rec-cond/encoding.lp
create mode 100644 examples/asp/rec-cond/instance.lp
create mode 100644 examples/asp/toh/README
create mode 100644 examples/asp/toh/tohE.lp
create mode 100644 examples/asp/toh/tohI.lp
create mode 100644 examples/scripting/addclause/README
create mode 100644 examples/scripting/addclause/addclause-lua.lp
create mode 100644 examples/scripting/addclause/addclause-py.lp
create mode 100644 examples/scripting/blocksworld/README
create mode 100644 examples/scripting/blocksworld/blocks_01.lp
create mode 100644 examples/scripting/blocksworld/control_01.lua
create mode 100644 examples/scripting/blocksworld/control_01.out
create mode 100644 examples/scripting/blocksworld/lua.lp
create mode 100644 examples/scripting/blocksworld/lua_interpret.lp
create mode 100644 examples/scripting/blocksworld/world.lp
create mode 100644 examples/scripting/commit/README
create mode 100644 examples/scripting/commit/commit-lua.lp
create mode 100644 examples/scripting/commit/commit-py.lp
create mode 100644 examples/scripting/commit/encoding.lp
create mode 100644 examples/scripting/consequences/README
create mode 100644 examples/scripting/consequences/brave-lua.lp
create mode 100644 examples/scripting/consequences/brave-py.lp
create mode 100644 examples/scripting/consequences/example.lp
create mode 100644 examples/scripting/context/README
create mode 100644 examples/scripting/context/context-lua.lp
create mode 100644 examples/scripting/context/context-py.lp
create mode 100644 examples/scripting/context/encoding.lp
create mode 100644 examples/scripting/controller/README
create mode 100644 examples/scripting/controller/client-lua.lp
create mode 100644 examples/scripting/controller/client-py.lp
create mode 100644 examples/scripting/controller/client.lp
create mode 100644 examples/scripting/controller/server.py
create mode 100644 examples/scripting/enum-assumption/README
create mode 100644 examples/scripting/enum-assumption/example-lua.lp
create mode 100644 examples/scripting/enum-assumption/example-py.lp
create mode 100644 examples/scripting/external/README
create mode 100644 examples/scripting/external/external-lua.lp
create mode 100644 examples/scripting/external/external-py.lp
create mode 100644 examples/scripting/external/external.lp
create mode 100644 examples/scripting/iclingo/README
create mode 100644 examples/scripting/iclingo/example.lp
create mode 100644 examples/scripting/iclingo/iclingo-int.lp
create mode 100644 examples/scripting/iclingo/iclingo-lua.lp
create mode 100644 examples/scripting/iclingo/iclingo-py.lp
create mode 100644 examples/scripting/include/README
create mode 100644 examples/scripting/include/encoding-lua.lp
create mode 100644 examples/scripting/include/encoding-py.lp
create mode 100644 examples/scripting/include/include.lp
create mode 100644 examples/scripting/incqueens/README
create mode 100644 examples/scripting/incqueens/incqueens-lua.lp
create mode 100644 examples/scripting/incqueens/incqueens-py.lp
create mode 100644 examples/scripting/incqueens/incqueens.lp
create mode 100644 examples/scripting/ipython/README
create mode 100644 examples/scripting/ipython/ipython.py
create mode 100644 examples/scripting/itersolve/README
create mode 100644 examples/scripting/itersolve/itersolve-lua.lp
create mode 100644 examples/scripting/itersolve/itersolve-py.lp
create mode 100644 examples/scripting/itersolve/program.lp
create mode 100644 examples/scripting/load/README
create mode 100644 examples/scripting/load/load-lua.lp
create mode 100644 examples/scripting/load/load-py.lp
create mode 100644 examples/scripting/load/program.lp
create mode 100644 examples/scripting/onmodel/README
create mode 100644 examples/scripting/onmodel/onmodel-lua.lp
create mode 100644 examples/scripting/onmodel/onmodel-py.lp
create mode 100644 examples/scripting/planning/README
create mode 100644 examples/scripting/planning/convert.lp
create mode 100755 examples/scripting/planning/convert.sh
create mode 100644 examples/scripting/planning/encoding.lp
create mode 100644 examples/scripting/planning/instances/coins01.lp
create mode 100644 examples/scripting/planning/instances/comm02.lp
create mode 100644 examples/scripting/planning/instances/comm03.lp
create mode 100644 examples/scripting/planning/instances/comm05.lp
create mode 100644 examples/scripting/planning/instances/uts01.lp
create mode 100644 examples/scripting/planning/planning-lua.lp
create mode 100644 examples/scripting/pydoc/README
create mode 100755 examples/scripting/pydoc/pydoc-lib.py
create mode 100644 examples/scripting/pydoc/pydoc.lp
create mode 100644 examples/scripting/setconf/README
create mode 100644 examples/scripting/setconf/setconf-lua.lp
create mode 100644 examples/scripting/setconf/setconf-py.lp
create mode 100644 examples/scripting/solitaire/README
create mode 100644 examples/scripting/solitaire/instance.lp
create mode 100644 examples/scripting/solitaire/solitaire.lp
create mode 100755 examples/scripting/solitaire/visualize.py
create mode 100644 examples/scripting/solve-async/README
create mode 100644 examples/scripting/solve-async/program.lp
create mode 100644 examples/scripting/solve-async/solve-async-lua.lp
create mode 100644 examples/scripting/solve-async/solve-async-py.lp
create mode 100644 examples/scripting/stats/README
create mode 100644 examples/scripting/stats/example.lp
create mode 100644 examples/scripting/stats/stats-lua.lp
create mode 100644 examples/scripting/stats/stats-py.lp
create mode 100644 examples/scripting/unblock/README
create mode 100644 examples/scripting/unblock/inst1.lp
create mode 100644 examples/scripting/unblock/inst2.lp
create mode 100644 examples/scripting/unblock/inst3.lp
create mode 100644 examples/scripting/unblock/inst4.lp
create mode 100644 examples/scripting/unblock/inst5.lp
create mode 100644 examples/scripting/unblock/unblock.lp
create mode 100755 examples/scripting/unblock/visualize.py
create mode 100644 libclasp/clasp/asp_preprocessor.h
create mode 100644 libclasp/clasp/cb_enumerator.h
create mode 100644 libclasp/clasp/clasp_facade.h
create mode 100644 libclasp/clasp/claspfwd.h
create mode 100644 libclasp/clasp/clause.h
create mode 100644 libclasp/clasp/cli/clasp_cli_configs.inl
create mode 100644 libclasp/clasp/cli/clasp_cli_options.inl
create mode 100644 libclasp/clasp/cli/clasp_options.h
create mode 100644 libclasp/clasp/cli/clasp_output.h
create mode 100644 libclasp/clasp/cli/clifwd.h
create mode 100644 libclasp/clasp/constraint.h
create mode 100644 libclasp/clasp/dependency_graph.h
create mode 100644 libclasp/clasp/enumerator.h
create mode 100644 libclasp/clasp/heuristics.h
create mode 100644 libclasp/clasp/literal.h
create mode 100644 libclasp/clasp/logic_program.h
create mode 100644 libclasp/clasp/logic_program_types.h
create mode 100644 libclasp/clasp/lookahead.h
create mode 100644 libclasp/clasp/minimize_constraint.h
create mode 100644 libclasp/clasp/model_enumerators.h
create mode 100644 libclasp/clasp/parallel_solve.h
create mode 100644 libclasp/clasp/parser.h
create mode 100644 libclasp/clasp/pod_vector.h
create mode 100644 libclasp/clasp/program_builder.h
create mode 100644 libclasp/clasp/satelite.h
create mode 100644 libclasp/clasp/shared_context.h
create mode 100644 libclasp/clasp/solve_algorithms.h
create mode 100644 libclasp/clasp/solver.h
create mode 100644 libclasp/clasp/solver_strategies.h
create mode 100644 libclasp/clasp/solver_types.h
create mode 100644 libclasp/clasp/unfounded_check.h
create mode 100644 libclasp/clasp/util/atomic.h
create mode 100644 libclasp/clasp/util/indexed_priority_queue.h
create mode 100644 libclasp/clasp/util/left_right_sequence.h
create mode 100644 libclasp/clasp/util/misc_types.h
create mode 100644 libclasp/clasp/util/multi_queue.h
create mode 100644 libclasp/clasp/util/mutex.h
create mode 100644 libclasp/clasp/util/platform.h
create mode 100644 libclasp/clasp/util/pod_vector.h
create mode 100644 libclasp/clasp/util/thread.h
create mode 100644 libclasp/clasp/util/timer.h
create mode 100644 libclasp/clasp/util/type_manip.h
create mode 100644 libclasp/clasp/weight_constraint.h
create mode 100644 libclasp/src/asp_preprocessor.cpp
create mode 100644 libclasp/src/cb_enumerator.cpp
create mode 100644 libclasp/src/clasp_facade.cpp
create mode 100644 libclasp/src/clasp_options.cpp
create mode 100644 libclasp/src/clasp_output.cpp
create mode 100644 libclasp/src/clause.cpp
create mode 100644 libclasp/src/constraint.cpp
create mode 100644 libclasp/src/dependency_graph.cpp
create mode 100644 libclasp/src/enumerator.cpp
create mode 100644 libclasp/src/heuristics.cpp
create mode 100644 libclasp/src/logic_program.cpp
create mode 100644 libclasp/src/logic_program_types.cpp
create mode 100644 libclasp/src/lookahead.cpp
create mode 100644 libclasp/src/minimize_constraint.cpp
create mode 100644 libclasp/src/model_enumerators.cpp
create mode 100644 libclasp/src/parallel_solve.cpp
create mode 100644 libclasp/src/parser.cpp
create mode 100644 libclasp/src/program_builder.cpp
create mode 100644 libclasp/src/satelite.cpp
create mode 100644 libclasp/src/shared_context.cpp
create mode 100644 libclasp/src/solve_algorithms.cpp
create mode 100644 libclasp/src/solver.cpp
create mode 100644 libclasp/src/solver_strategies.cpp
create mode 100644 libclasp/src/solver_types.cpp
create mode 100644 libclasp/src/timer.cpp
create mode 100644 libclasp/src/unfounded_check.cpp
create mode 100644 libclasp/src/weight_constraint.cpp
create mode 100644 libgringo/gringo/backtrace.hh
create mode 100644 libgringo/gringo/base.hh
create mode 100644 libgringo/gringo/bug.hh
create mode 100644 libgringo/gringo/clonable.hh
create mode 100644 libgringo/gringo/comparable.hh
create mode 100644 libgringo/gringo/control.hh
create mode 100644 libgringo/gringo/domain.hh
create mode 100644 libgringo/gringo/flyweight.hh
create mode 100644 libgringo/gringo/graph.hh
create mode 100644 libgringo/gringo/ground/binders.hh
create mode 100644 libgringo/gringo/ground/dependency.hh
create mode 100644 libgringo/gringo/ground/instantiation.hh
create mode 100644 libgringo/gringo/ground/literal.hh
create mode 100644 libgringo/gringo/ground/literals.hh
create mode 100644 libgringo/gringo/ground/program.hh
create mode 100644 libgringo/gringo/ground/statement.hh
create mode 100644 libgringo/gringo/ground/statements.hh
create mode 100644 libgringo/gringo/hashable.hh
create mode 100644 libgringo/gringo/input/aggregate.hh
create mode 100644 libgringo/gringo/input/aggregates.hh
create mode 100644 libgringo/gringo/input/literal.hh
create mode 100644 libgringo/gringo/input/literals.hh
create mode 100644 libgringo/gringo/input/nongroundparser.hh
create mode 100644 libgringo/gringo/input/program.hh
create mode 100644 libgringo/gringo/input/programbuilder.hh
create mode 100644 libgringo/gringo/input/statement.hh
create mode 100644 libgringo/gringo/intervals.hh
create mode 100644 libgringo/gringo/lexerstate.hh
create mode 100644 libgringo/gringo/locatable.hh
create mode 100644 libgringo/gringo/logger.hh
create mode 100644 libgringo/gringo/lua.hh
create mode 100644 libgringo/gringo/output/literal.hh
create mode 100644 libgringo/gringo/output/literals.hh
create mode 100644 libgringo/gringo/output/lparseoutputter.hh
create mode 100644 libgringo/gringo/output/output.hh
create mode 100644 libgringo/gringo/output/statement.hh
create mode 100644 libgringo/gringo/output/statements.hh
create mode 100644 libgringo/gringo/printable.hh
create mode 100644 libgringo/gringo/python.hh
create mode 100644 libgringo/gringo/safetycheck.hh
create mode 100644 libgringo/gringo/scripts.hh
create mode 100644 libgringo/gringo/term.hh
create mode 100644 libgringo/gringo/terms.hh
create mode 100644 libgringo/gringo/unique_list.hh
create mode 100644 libgringo/gringo/utility.hh
create mode 100644 libgringo/gringo/value.hh
create mode 100644 libgringo/gringo/version.hh
create mode 100644 libgringo/src/ground/instantiation.cc
create mode 100644 libgringo/src/ground/literals.cc
create mode 100644 libgringo/src/ground/program.cc
create mode 100644 libgringo/src/ground/statements.cc
create mode 100644 libgringo/src/input/aggregate.cc
create mode 100644 libgringo/src/input/aggregates.cc
create mode 100644 libgringo/src/input/literal.cc
create mode 100644 libgringo/src/input/literals.cc
create mode 100644 libgringo/src/input/nongroundgrammar.yy
create mode 100644 libgringo/src/input/nongroundlexer.xh
create mode 100644 libgringo/src/input/nongroundparser.cc
create mode 100644 libgringo/src/input/program.cc
create mode 100644 libgringo/src/input/programbuilder.cc
create mode 100644 libgringo/src/input/statement.cc
create mode 100644 libgringo/src/lua.cc
create mode 100644 libgringo/src/output/literals.cc
create mode 100644 libgringo/src/output/output.cc
create mode 100644 libgringo/src/output/statements.cc
create mode 100644 libgringo/src/python.cc
create mode 100644 libgringo/src/scripts.cc
create mode 100644 libgringo/src/term.cc
create mode 100644 libgringo/src/terms.cc
create mode 100644 libgringo/tests/flyweight.cc
create mode 100644 libgringo/tests/graph.cc
create mode 100644 libgringo/tests/ground/dependency.cc
create mode 100644 libgringo/tests/ground/instantiation.cc
create mode 100644 libgringo/tests/ground/literal.cc
create mode 100644 libgringo/tests/ground/program.cc
create mode 100644 libgringo/tests/input/aggregate.cc
create mode 100644 libgringo/tests/input/aggregate_helper.hh
create mode 100644 libgringo/tests/input/lit_helper.hh
create mode 100644 libgringo/tests/input/literal.cc
create mode 100644 libgringo/tests/input/nongroundgrammar.cc
create mode 100644 libgringo/tests/input/nongroundlexer.cc
create mode 100644 libgringo/tests/input/program.cc
create mode 100644 libgringo/tests/input/programbuilder.cc
create mode 100644 libgringo/tests/intervals.cc
create mode 100644 libgringo/tests/lua.cc
create mode 100644 libgringo/tests/main.cc
create mode 100644 libgringo/tests/output/aspcomp13.cc
create mode 100644 libgringo/tests/output/incremental.cc
create mode 100644 libgringo/tests/output/lparse.cc
create mode 100644 libgringo/tests/output/solver_helper.hh
create mode 100644 libgringo/tests/output/warnings.cc
create mode 100644 libgringo/tests/python.cc
create mode 100644 libgringo/tests/safetycheck.cc
create mode 100644 libgringo/tests/term.cc
create mode 100644 libgringo/tests/term_helper.hh
create mode 100644 libgringo/tests/tests.hh
create mode 100644 libgringo/tests/unique_list.cc
create mode 100644 libgringo/tests/utility.cc
create mode 100644 libgringo/tests/value.cc
create mode 100644 libprogram_opts/program_opts/application.h
create mode 100644 libprogram_opts/program_opts/detail/alarm.h
create mode 100644 libprogram_opts/program_opts/detail/notifier.h
create mode 100644 libprogram_opts/program_opts/detail/refcountable.h
create mode 100644 libprogram_opts/program_opts/detail/value_store.h
create mode 100644 libprogram_opts/program_opts/errors.h
create mode 100644 libprogram_opts/program_opts/mapped_value.h
create mode 100644 libprogram_opts/program_opts/program_options.h
create mode 100644 libprogram_opts/program_opts/string_convert.h
create mode 100644 libprogram_opts/program_opts/typed_value.h
create mode 100644 libprogram_opts/program_opts/value.h
create mode 100644 libprogram_opts/program_opts/value_store.h
create mode 100644 libprogram_opts/src/alarm.cpp
create mode 100644 libprogram_opts/src/application.cpp
create mode 100644 libprogram_opts/src/program_options.cpp
create mode 100644 libprogram_opts/src/string_convert.cpp
create mode 100644 libprogram_opts/src/value_store.cpp
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gringo.git
More information about the debian-science-commits
mailing list