Skip to content

Commit

Permalink
update clasp
Browse files Browse the repository at this point in the history
  • Loading branch information
@rkaminsk
rkaminsk committed Aug 19, 2024
1 parent 501f8aa commit ba29b20
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion clasp
Submodule clasp updated 58 files
+2 −2 clasp/cli/clasp_app.h
+73 −30 clasp/cli/clasp_cli_options.inl
+17 −41 clasp/cli/clasp_options.h
+2 −2 clasp/cli/clasp_output.h
+4 −4 clasp/constraint.h
+5 −5 clasp/dependency_graph.h
+1 −0 clasp/enumerator.h
+8 −8 clasp/heuristics.h
+4 −11 clasp/logic_program.h
+2 −2 clasp/logic_program_types.h
+2 −2 clasp/lookahead.h
+4 −4 clasp/minimize_constraint.h
+24 −27 clasp/mt/parallel_solve.h
+3 −0 clasp/parser.h
+3 −3 clasp/program_builder.h
+8 −5 clasp/shared_context.h
+5 −1 clasp/solve_algorithms.h
+3 −2 clasp/solver.h
+153 −28 clasp/solver_strategies.h
+4 −117 clasp/solver_types.h
+86 −14 clasp/util/misc_types.h
+3 −3 clasp/util/multi_queue.h
+3 −3 clasp/util/pod_vector.h
+2 −2 examples/example1.cpp
+1 −1 examples/example2.cpp
+1 −1 examples/example3.cpp
+1 −1 examples/example4.cpp
+1 −1 libpotassco
+4 −4 src/asp_preprocessor.cpp
+2 −2 src/cb_enumerator.cpp
+21 −16 src/clasp_facade.cpp
+430 −384 src/clasp_options.cpp
+4 −4 src/clasp_output.cpp
+9 −9 src/clause.cpp
+4 −4 src/dependency_graph.cpp
+28 −18 src/heuristics.cpp
+8 −6 src/logic_program.cpp
+6 −9 src/minimize_constraint.cpp
+14 −20 src/parallel_solve.cpp
+46 −16 src/parser.cpp
+2 −2 src/program_builder.cpp
+6 −6 src/satelite.cpp
+27 −6 src/shared_context.cpp
+65 −48 src/solve_algorithms.cpp
+14 −5 src/solver.cpp
+120 −14 src/solver_strategies.cpp
+8 −97 src/solver_types.cpp
+4 −4 src/statistics.cpp
+6 −6 src/unfounded_check.cpp
+1 −1 src/weight_constraint.cpp
+2 −2 tests/clause_creator_test.cpp
+204 −16 tests/cli_test.cpp
+54 −6 tests/facade_test.cpp
+1 −1 tests/minimize_test.cpp
+59 −0 tests/parser_test.cpp
+1 −1 tests/program_builder_test.cpp
+1 −1 tests/rule_test.cpp
+16 −0 tests/solver_test.cpp

0 comments on commit ba29b20

Please sign in to comment.