[clasp] branch master updated (7baa1c9 -> 665b6b9)
Thomas Krennwallner
tkren-guest at moszumanska.debian.org
Mon Aug 18 15:30:23 UTC 2014
This is an automated email from the git hooks/post-receive script.
tkren-guest pushed a change to branch master
in repository clasp.
from 7baa1c9 New upstream release.
adds 64fdeed Initial upstream branch.
adds 6217b36 Imported Upstream version 3.1.0
new 4c822bb Merge tag 'upstream/3.1.0'
new 6a16134 New upstream release.
new 665b6b9 Remove Suggests on potassco-guide.
The 3 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:
CHANGES | 539 +++++
CMakeLists.txt | 19 +
COPYING | 339 +++
README | 126 +
app/CMakeLists.txt | 11 +
app/clasp_app.cpp | 593 +++++
app/clasp_app.h | 187 ++
app/main.cpp | 43 +
build_vc/vc10/clasp/app/app.vcproj | 408 ++++
build_vc/vc10/clasp/app/app.vcxproj | 368 +++
build_vc/vc10/clasp/clasp.sln | 113 +
build_vc/vc10/clasp/clasp.vcproj | 180 ++
build_vc/vc10/clasp/examples/examples.vcproj | 211 ++
build_vc/vc10/clasp/examples/examples.vcxproj | 183 ++
build_vc/vc10/clasp/lib/lib.vcproj | 563 +++++
build_vc/vc10/clasp/lib/lib.vcxproj | 358 +++
.../clasp/libprogram_opts/libprogram_opts.vcxproj | 278 +++
build_vc/vc10/clasp/test/test.vcproj | 262 +++
build_vc/vc10/clasp/test/test.vcxproj | 199 ++
build_vc/vc12/clasp/app/app.vcproj | 408 ++++
build_vc/vc12/clasp/app/app.vcxproj | 376 +++
build_vc/vc12/clasp/clasp.sln | 115 +
build_vc/vc12/clasp/clasp.vcproj | 180 ++
build_vc/vc12/clasp/examples/examples.vcproj | 211 ++
build_vc/vc12/clasp/examples/examples.vcxproj | 187 ++
build_vc/vc12/clasp/lib/lib.vcproj | 563 +++++
build_vc/vc12/clasp/lib/lib.vcxproj | 366 +++
.../clasp/libprogram_opts/libprogram_opts.vcxproj | 286 +++
build_vc/vc12/clasp/test/test.vcproj | 262 +++
build_vc/vc12/clasp/test/test.vcxproj | 203 ++
build_vc/vc9/clasp/app/app.vcproj | 356 +++
build_vc/vc9/clasp/clasp.sln | 77 +
build_vc/vc9/clasp/clasp.vcproj | 180 ++
build_vc/vc9/clasp/examples/examples.vcproj | 215 ++
build_vc/vc9/clasp/lib/lib.vcproj | 563 +++++
.../clasp/libprogram_opts/libprogram_opts.vcproj | 280 +++
build_vc/vc9/clasp/test/test.vcproj | 266 +++
configure.bat | 274 +++
configure.sh | 275 +++
debian/changelog | 9 +
debian/control | 1 -
libclasp/CMakeLists.txt | 4 +
libclasp/Makefile | 48 +
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/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/doc/api/clasp | 1792 ++++++++++++++
libclasp/doc/api/clasp.txt | 30 +
libclasp/example/Makefile | 50 +
libclasp/example/example.h | 32 +
libclasp/example/example1.cpp | 90 +
libclasp/example/example2.cpp | 80 +
libclasp/example/example3.cpp | 63 +
libclasp/example/example4.cpp | 64 +
libclasp/example/main.cpp | 43 +
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 | 946 ++++++++
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 +++++
libclasp/tests/Makefile | 40 +
libclasp/tests/clause_creator_test.cpp | 607 +++++
libclasp/tests/clause_test.cpp | 1041 +++++++++
libclasp/tests/cli_test.cpp | 548 +++++
libclasp/tests/decision_heuristic_test.cpp | 649 ++++++
libclasp/tests/dependency_graph_test.cpp | 235 ++
libclasp/tests/dlp_builder_test.cpp | 265 +++
libclasp/tests/enumerator_test.cpp | 338 +++
libclasp/tests/facade_test.cpp | 478 ++++
libclasp/tests/literal_test.cpp | 232 ++
libclasp/tests/minimize_test.cpp | 1197 ++++++++++
libclasp/tests/parser_test.cpp | 412 ++++
libclasp/tests/program_builder_test.cpp | 2435 ++++++++++++++++++++
libclasp/tests/rule_test.cpp | 639 +++++
libclasp/tests/satelite_test.cpp | 219 ++
libclasp/tests/shared_clause_test.cpp | 282 +++
libclasp/tests/solver_test.cpp | 1858 +++++++++++++++
libclasp/tests/test.h | 38 +
libclasp/tests/test_main.cpp | 81 +
libclasp/tests/unfounded_check_test.cpp | 554 +++++
libclasp/tests/weight_constraint_test.cpp | 820 +++++++
libprogram_opts/CMakeLists.txt | 4 +
libprogram_opts/Makefile | 48 +
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 +
tools/Base.in | 32 +
tools/BaseRule.in | 14 +
tools/FindTBB.cmake | 283 +++
tools/LibRule.in | 34 +
tools/ProjRule.in | 41 +
tools/clasp-option-config.txt | 194 ++
tools/dummy.txt | 0
168 files changed, 62214 insertions(+), 1 deletion(-)
create mode 100644 CHANGES
create mode 100644 CMakeLists.txt
create mode 100644 COPYING
create mode 100644 README
create mode 100644 app/CMakeLists.txt
create mode 100644 app/clasp_app.cpp
create mode 100644 app/clasp_app.h
create mode 100644 app/main.cpp
create mode 100644 build_vc/vc10/clasp/app/app.vcproj
create mode 100644 build_vc/vc10/clasp/app/app.vcxproj
create mode 100644 build_vc/vc10/clasp/clasp.sln
create mode 100644 build_vc/vc10/clasp/clasp.vcproj
create mode 100644 build_vc/vc10/clasp/examples/examples.vcproj
create mode 100644 build_vc/vc10/clasp/examples/examples.vcxproj
create mode 100644 build_vc/vc10/clasp/lib/lib.vcproj
create mode 100644 build_vc/vc10/clasp/lib/lib.vcxproj
create mode 100644 build_vc/vc10/clasp/libprogram_opts/libprogram_opts.vcxproj
create mode 100644 build_vc/vc10/clasp/test/test.vcproj
create mode 100644 build_vc/vc10/clasp/test/test.vcxproj
create mode 100644 build_vc/vc12/clasp/app/app.vcproj
create mode 100644 build_vc/vc12/clasp/app/app.vcxproj
create mode 100644 build_vc/vc12/clasp/clasp.sln
create mode 100644 build_vc/vc12/clasp/clasp.vcproj
create mode 100644 build_vc/vc12/clasp/examples/examples.vcproj
create mode 100644 build_vc/vc12/clasp/examples/examples.vcxproj
create mode 100644 build_vc/vc12/clasp/lib/lib.vcproj
create mode 100644 build_vc/vc12/clasp/lib/lib.vcxproj
create mode 100644 build_vc/vc12/clasp/libprogram_opts/libprogram_opts.vcxproj
create mode 100644 build_vc/vc12/clasp/test/test.vcproj
create mode 100644 build_vc/vc12/clasp/test/test.vcxproj
create mode 100644 build_vc/vc9/clasp/app/app.vcproj
create mode 100644 build_vc/vc9/clasp/clasp.sln
create mode 100644 build_vc/vc9/clasp/clasp.vcproj
create mode 100644 build_vc/vc9/clasp/examples/examples.vcproj
create mode 100644 build_vc/vc9/clasp/lib/lib.vcproj
create mode 100644 build_vc/vc9/clasp/libprogram_opts/libprogram_opts.vcproj
create mode 100644 build_vc/vc9/clasp/test/test.vcproj
create mode 100644 configure.bat
create mode 100755 configure.sh
create mode 100644 libclasp/CMakeLists.txt
create mode 100644 libclasp/Makefile
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/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/doc/api/clasp
create mode 100644 libclasp/doc/api/clasp.txt
create mode 100644 libclasp/example/Makefile
create mode 100644 libclasp/example/example.h
create mode 100644 libclasp/example/example1.cpp
create mode 100644 libclasp/example/example2.cpp
create mode 100644 libclasp/example/example3.cpp
create mode 100644 libclasp/example/example4.cpp
create mode 100644 libclasp/example/main.cpp
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 libclasp/tests/Makefile
create mode 100644 libclasp/tests/clause_creator_test.cpp
create mode 100644 libclasp/tests/clause_test.cpp
create mode 100644 libclasp/tests/cli_test.cpp
create mode 100644 libclasp/tests/decision_heuristic_test.cpp
create mode 100644 libclasp/tests/dependency_graph_test.cpp
create mode 100644 libclasp/tests/dlp_builder_test.cpp
create mode 100644 libclasp/tests/enumerator_test.cpp
create mode 100644 libclasp/tests/facade_test.cpp
create mode 100644 libclasp/tests/literal_test.cpp
create mode 100644 libclasp/tests/minimize_test.cpp
create mode 100644 libclasp/tests/parser_test.cpp
create mode 100644 libclasp/tests/program_builder_test.cpp
create mode 100644 libclasp/tests/rule_test.cpp
create mode 100644 libclasp/tests/satelite_test.cpp
create mode 100644 libclasp/tests/shared_clause_test.cpp
create mode 100644 libclasp/tests/solver_test.cpp
create mode 100644 libclasp/tests/test.h
create mode 100644 libclasp/tests/test_main.cpp
create mode 100644 libclasp/tests/unfounded_check_test.cpp
create mode 100644 libclasp/tests/weight_constraint_test.cpp
create mode 100644 libprogram_opts/CMakeLists.txt
create mode 100644 libprogram_opts/Makefile
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
create mode 100644 tools/Base.in
create mode 100644 tools/BaseRule.in
create mode 100644 tools/FindTBB.cmake
create mode 100644 tools/LibRule.in
create mode 100644 tools/ProjRule.in
create mode 100644 tools/clasp-option-config.txt
create mode 100644 tools/dummy.txt
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/clasp.git
More information about the debian-science-commits
mailing list