├── .github └── workflows │ └── test.yml ├── .gitignore ├── .gitmodules ├── .travis.yml ├── CHANGES ├── CMakeLists.txt ├── LICENSE ├── README.md ├── app ├── CMakeLists.txt └── main.cpp ├── clasp ├── asp_preprocessor.h ├── cb_enumerator.h ├── clasp_facade.h ├── claspfwd.h ├── clause.h ├── cli │ ├── clasp_app.h │ ├── clasp_cli_configs.inl │ ├── clasp_cli_options.inl │ ├── clasp_options.h │ └── clasp_output.h ├── clingo.h ├── config.h.in ├── constraint.h ├── dependency_graph.h ├── enumerator.h ├── heuristics.h ├── literal.h ├── logic_program.h ├── logic_program_types.h ├── lookahead.h ├── minimize_constraint.h ├── model_enumerators.h ├── mt │ ├── mutex.h │ ├── parallel_solve.h │ └── thread.h ├── parser.h ├── pod_vector.h ├── program_builder.h ├── satelite.h ├── shared_context.h ├── solve_algorithms.h ├── solver.h ├── solver_strategies.h ├── solver_types.h ├── statistics.h ├── unfounded_check.h ├── util │ ├── hash.h │ ├── indexed_priority_queue.h │ ├── left_right_sequence.h │ ├── misc_types.h │ ├── multi_queue.h │ ├── pod_vector.h │ ├── timer.h │ └── type_manip.h └── weight_constraint.h ├── cmake └── ClaspConfig.cmake.in ├── create-archive.sh ├── doc ├── api │ ├── clasp.doxy │ ├── clasp.txt │ ├── layout.css │ ├── layout.xml │ └── potassco-logo.png └── output.md ├── examples ├── CMakeLists.txt ├── example.h ├── example1.cpp ├── example2.cpp ├── example3.cpp ├── example4.cpp └── main.cpp ├── src ├── CMakeLists.txt ├── asp_preprocessor.cpp ├── cb_enumerator.cpp ├── clasp_app.cpp ├── clasp_facade.cpp ├── clasp_options.cpp ├── clasp_output.cpp ├── clause.cpp ├── clingo.cpp ├── constraint.cpp ├── dependency_graph.cpp ├── enumerator.cpp ├── heuristics.cpp ├── logic_program.cpp ├── logic_program_types.cpp ├── lookahead.cpp ├── minimize_constraint.cpp ├── model_enumerators.cpp ├── parallel_solve.cpp ├── parser.cpp ├── program_builder.cpp ├── satelite.cpp ├── shared_context.cpp ├── solve_algorithms.cpp ├── solver.cpp ├── solver_strategies.cpp ├── solver_types.cpp ├── statistics.cpp ├── timer.cpp ├── unfounded_check.cpp └── weight_constraint.cpp ├── tests ├── CMakeLists.txt ├── catch.hpp ├── clause_creator_test.cpp ├── clause_test.cpp ├── cli_test.cpp ├── decision_heuristic_test.cpp ├── dependency_graph_test.cpp ├── dlp_builder_test.cpp ├── enumerator_test.cpp ├── facade_test.cpp ├── literal_test.cpp ├── lpcompare.h ├── minimize_test.cpp ├── parser_test.cpp ├── program_builder_test.cpp ├── rule_test.cpp ├── satelite_test.cpp ├── solver_test.cpp ├── test_main.cpp ├── unfounded_check_test.cpp └── weight_constraint_test.cpp └── tools ├── clasp-option-template.inl └── generate-pcs.sh /.github/workflows/test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/.github/workflows/test.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | *.swp 2 | build* 3 | .vscode* 4 | CMakeLists.txt.user 5 | -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/.gitmodules -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/.travis.yml -------------------------------------------------------------------------------- /CHANGES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/CHANGES -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/README.md -------------------------------------------------------------------------------- /app/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/app/CMakeLists.txt -------------------------------------------------------------------------------- /app/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/app/main.cpp -------------------------------------------------------------------------------- /clasp/asp_preprocessor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/asp_preprocessor.h -------------------------------------------------------------------------------- /clasp/cb_enumerator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/cb_enumerator.h -------------------------------------------------------------------------------- /clasp/clasp_facade.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/clasp_facade.h -------------------------------------------------------------------------------- /clasp/claspfwd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/claspfwd.h -------------------------------------------------------------------------------- /clasp/clause.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/clause.h -------------------------------------------------------------------------------- /clasp/cli/clasp_app.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/cli/clasp_app.h -------------------------------------------------------------------------------- /clasp/cli/clasp_cli_configs.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/cli/clasp_cli_configs.inl -------------------------------------------------------------------------------- /clasp/cli/clasp_cli_options.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/cli/clasp_cli_options.inl -------------------------------------------------------------------------------- /clasp/cli/clasp_options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/cli/clasp_options.h -------------------------------------------------------------------------------- /clasp/cli/clasp_output.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/cli/clasp_output.h -------------------------------------------------------------------------------- /clasp/clingo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/clingo.h -------------------------------------------------------------------------------- /clasp/config.h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/config.h.in -------------------------------------------------------------------------------- /clasp/constraint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/constraint.h -------------------------------------------------------------------------------- /clasp/dependency_graph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/dependency_graph.h -------------------------------------------------------------------------------- /clasp/enumerator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/enumerator.h -------------------------------------------------------------------------------- /clasp/heuristics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/heuristics.h -------------------------------------------------------------------------------- /clasp/literal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/literal.h -------------------------------------------------------------------------------- /clasp/logic_program.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/logic_program.h -------------------------------------------------------------------------------- /clasp/logic_program_types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/logic_program_types.h -------------------------------------------------------------------------------- /clasp/lookahead.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/lookahead.h -------------------------------------------------------------------------------- /clasp/minimize_constraint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/minimize_constraint.h -------------------------------------------------------------------------------- /clasp/model_enumerators.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/model_enumerators.h -------------------------------------------------------------------------------- /clasp/mt/mutex.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/mt/mutex.h -------------------------------------------------------------------------------- /clasp/mt/parallel_solve.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/mt/parallel_solve.h -------------------------------------------------------------------------------- /clasp/mt/thread.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/mt/thread.h -------------------------------------------------------------------------------- /clasp/parser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/parser.h -------------------------------------------------------------------------------- /clasp/pod_vector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/pod_vector.h -------------------------------------------------------------------------------- /clasp/program_builder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/program_builder.h -------------------------------------------------------------------------------- /clasp/satelite.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/satelite.h -------------------------------------------------------------------------------- /clasp/shared_context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/shared_context.h -------------------------------------------------------------------------------- /clasp/solve_algorithms.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/solve_algorithms.h -------------------------------------------------------------------------------- /clasp/solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/solver.h -------------------------------------------------------------------------------- /clasp/solver_strategies.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/solver_strategies.h -------------------------------------------------------------------------------- /clasp/solver_types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/solver_types.h -------------------------------------------------------------------------------- /clasp/statistics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/statistics.h -------------------------------------------------------------------------------- /clasp/unfounded_check.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/unfounded_check.h -------------------------------------------------------------------------------- /clasp/util/hash.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/util/hash.h -------------------------------------------------------------------------------- /clasp/util/indexed_priority_queue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/util/indexed_priority_queue.h -------------------------------------------------------------------------------- /clasp/util/left_right_sequence.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/util/left_right_sequence.h -------------------------------------------------------------------------------- /clasp/util/misc_types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/util/misc_types.h -------------------------------------------------------------------------------- /clasp/util/multi_queue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/util/multi_queue.h -------------------------------------------------------------------------------- /clasp/util/pod_vector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/util/pod_vector.h -------------------------------------------------------------------------------- /clasp/util/timer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/util/timer.h -------------------------------------------------------------------------------- /clasp/util/type_manip.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/util/type_manip.h -------------------------------------------------------------------------------- /clasp/weight_constraint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/clasp/weight_constraint.h -------------------------------------------------------------------------------- /cmake/ClaspConfig.cmake.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/cmake/ClaspConfig.cmake.in -------------------------------------------------------------------------------- /create-archive.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/create-archive.sh -------------------------------------------------------------------------------- /doc/api/clasp.doxy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/doc/api/clasp.doxy -------------------------------------------------------------------------------- /doc/api/clasp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/doc/api/clasp.txt -------------------------------------------------------------------------------- /doc/api/layout.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/doc/api/layout.css -------------------------------------------------------------------------------- /doc/api/layout.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/doc/api/layout.xml -------------------------------------------------------------------------------- /doc/api/potassco-logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/doc/api/potassco-logo.png -------------------------------------------------------------------------------- /doc/output.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/doc/output.md -------------------------------------------------------------------------------- /examples/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/examples/CMakeLists.txt -------------------------------------------------------------------------------- /examples/example.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/examples/example.h -------------------------------------------------------------------------------- /examples/example1.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/examples/example1.cpp -------------------------------------------------------------------------------- /examples/example2.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/examples/example2.cpp -------------------------------------------------------------------------------- /examples/example3.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/examples/example3.cpp -------------------------------------------------------------------------------- /examples/example4.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/examples/example4.cpp -------------------------------------------------------------------------------- /examples/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/examples/main.cpp -------------------------------------------------------------------------------- /src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/CMakeLists.txt -------------------------------------------------------------------------------- /src/asp_preprocessor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/asp_preprocessor.cpp -------------------------------------------------------------------------------- /src/cb_enumerator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/cb_enumerator.cpp -------------------------------------------------------------------------------- /src/clasp_app.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/clasp_app.cpp -------------------------------------------------------------------------------- /src/clasp_facade.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/clasp_facade.cpp -------------------------------------------------------------------------------- /src/clasp_options.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/clasp_options.cpp -------------------------------------------------------------------------------- /src/clasp_output.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/clasp_output.cpp -------------------------------------------------------------------------------- /src/clause.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/clause.cpp -------------------------------------------------------------------------------- /src/clingo.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/clingo.cpp -------------------------------------------------------------------------------- /src/constraint.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/constraint.cpp -------------------------------------------------------------------------------- /src/dependency_graph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/dependency_graph.cpp -------------------------------------------------------------------------------- /src/enumerator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/enumerator.cpp -------------------------------------------------------------------------------- /src/heuristics.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/heuristics.cpp -------------------------------------------------------------------------------- /src/logic_program.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/logic_program.cpp -------------------------------------------------------------------------------- /src/logic_program_types.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/logic_program_types.cpp -------------------------------------------------------------------------------- /src/lookahead.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/lookahead.cpp -------------------------------------------------------------------------------- /src/minimize_constraint.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/minimize_constraint.cpp -------------------------------------------------------------------------------- /src/model_enumerators.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/model_enumerators.cpp -------------------------------------------------------------------------------- /src/parallel_solve.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/parallel_solve.cpp -------------------------------------------------------------------------------- /src/parser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/parser.cpp -------------------------------------------------------------------------------- /src/program_builder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/program_builder.cpp -------------------------------------------------------------------------------- /src/satelite.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/satelite.cpp -------------------------------------------------------------------------------- /src/shared_context.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/shared_context.cpp -------------------------------------------------------------------------------- /src/solve_algorithms.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/solve_algorithms.cpp -------------------------------------------------------------------------------- /src/solver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/solver.cpp -------------------------------------------------------------------------------- /src/solver_strategies.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/solver_strategies.cpp -------------------------------------------------------------------------------- /src/solver_types.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/solver_types.cpp -------------------------------------------------------------------------------- /src/statistics.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/statistics.cpp -------------------------------------------------------------------------------- /src/timer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/timer.cpp -------------------------------------------------------------------------------- /src/unfounded_check.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/unfounded_check.cpp -------------------------------------------------------------------------------- /src/weight_constraint.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/src/weight_constraint.cpp -------------------------------------------------------------------------------- /tests/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/tests/CMakeLists.txt -------------------------------------------------------------------------------- /tests/catch.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/tests/catch.hpp -------------------------------------------------------------------------------- /tests/clause_creator_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/tests/clause_creator_test.cpp -------------------------------------------------------------------------------- /tests/clause_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/tests/clause_test.cpp -------------------------------------------------------------------------------- /tests/cli_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/tests/cli_test.cpp -------------------------------------------------------------------------------- /tests/decision_heuristic_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/tests/decision_heuristic_test.cpp -------------------------------------------------------------------------------- /tests/dependency_graph_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/tests/dependency_graph_test.cpp -------------------------------------------------------------------------------- /tests/dlp_builder_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/tests/dlp_builder_test.cpp -------------------------------------------------------------------------------- /tests/enumerator_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/tests/enumerator_test.cpp -------------------------------------------------------------------------------- /tests/facade_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/tests/facade_test.cpp -------------------------------------------------------------------------------- /tests/literal_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/tests/literal_test.cpp -------------------------------------------------------------------------------- /tests/lpcompare.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/tests/lpcompare.h -------------------------------------------------------------------------------- /tests/minimize_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/tests/minimize_test.cpp -------------------------------------------------------------------------------- /tests/parser_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/tests/parser_test.cpp -------------------------------------------------------------------------------- /tests/program_builder_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/tests/program_builder_test.cpp -------------------------------------------------------------------------------- /tests/rule_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/tests/rule_test.cpp -------------------------------------------------------------------------------- /tests/satelite_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/tests/satelite_test.cpp -------------------------------------------------------------------------------- /tests/solver_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/tests/solver_test.cpp -------------------------------------------------------------------------------- /tests/test_main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/tests/test_main.cpp -------------------------------------------------------------------------------- /tests/unfounded_check_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/tests/unfounded_check_test.cpp -------------------------------------------------------------------------------- /tests/weight_constraint_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/tests/weight_constraint_test.cpp -------------------------------------------------------------------------------- /tools/clasp-option-template.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/tools/clasp-option-template.inl -------------------------------------------------------------------------------- /tools/generate-pcs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/potassco/clasp/HEAD/tools/generate-pcs.sh --------------------------------------------------------------------------------