data/clasp-3.3.5/.gitignore: ASCII text data/clasp-3.3.5/.gitmodules: ASCII text data/clasp-3.3.5/.travis.yml: ASCII text data/clasp-3.3.5/CHANGES: ASCII text data/clasp-3.3.5/LICENSE: ASCII text data/clasp-3.3.5/README.md: ASCII text data/clasp-3.3.5/app/CMakeLists.txt: ASCII text data/clasp-3.3.5/app/clasp_app.cpp: C++ source, ASCII text data/clasp-3.3.5/app/clasp_app.h: C++ source, ASCII text data/clasp-3.3.5/app/main.cpp: C source, ASCII text data/clasp-3.3.5/clasp/asp_preprocessor.h: C++ source, ASCII text data/clasp-3.3.5/clasp/cb_enumerator.h: C++ source, ASCII text data/clasp-3.3.5/clasp/clasp_facade.h: C++ source, ASCII text data/clasp-3.3.5/clasp/claspfwd.h: C++ source, ASCII text data/clasp-3.3.5/clasp/clause.h: C++ source, ASCII text data/clasp-3.3.5/clasp/cli/clasp_cli_configs.inl: ASCII text data/clasp-3.3.5/clasp/cli/clasp_cli_options.inl: ASCII text data/clasp-3.3.5/clasp/cli/clasp_options.h: C++ source, ASCII text data/clasp-3.3.5/clasp/cli/clasp_output.h: C++ source, ASCII text data/clasp-3.3.5/clasp/clingo.h: C++ source, ASCII text data/clasp-3.3.5/clasp/config.h.in: C++ source, ASCII text data/clasp-3.3.5/clasp/constraint.h: C++ source, ASCII text data/clasp-3.3.5/clasp/dependency_graph.h: C++ source, ASCII text data/clasp-3.3.5/clasp/enumerator.h: C++ source, ASCII text data/clasp-3.3.5/clasp/heuristics.h: C++ source, ASCII text data/clasp-3.3.5/clasp/literal.h: C++ source, ASCII text data/clasp-3.3.5/clasp/logic_program.h: C++ source, ASCII text data/clasp-3.3.5/clasp/logic_program_types.h: C++ source, ASCII text data/clasp-3.3.5/clasp/lookahead.h: C++ source, ASCII text data/clasp-3.3.5/clasp/minimize_constraint.h: C++ source, ASCII text data/clasp-3.3.5/clasp/model_enumerators.h: C++ source, ASCII text data/clasp-3.3.5/clasp/mt/mutex.h: C++ source, ASCII text data/clasp-3.3.5/clasp/mt/parallel_solve.h: C++ source, ASCII text data/clasp-3.3.5/clasp/mt/thread.h: C++ source, ASCII text data/clasp-3.3.5/clasp/parser.h: C++ source, ASCII text data/clasp-3.3.5/clasp/pod_vector.h: C++ source, ASCII text data/clasp-3.3.5/clasp/program_builder.h: C++ source, ASCII text data/clasp-3.3.5/clasp/satelite.h: C++ source, UTF-8 Unicode text data/clasp-3.3.5/clasp/shared_context.h: C++ source, ASCII text data/clasp-3.3.5/clasp/solve_algorithms.h: C++ source, ASCII text data/clasp-3.3.5/clasp/solver.h: C++ source, ASCII text data/clasp-3.3.5/clasp/solver_strategies.h: C++ source, ASCII text data/clasp-3.3.5/clasp/solver_types.h: C++ source, ASCII text data/clasp-3.3.5/clasp/statistics.h: C++ source, ASCII text data/clasp-3.3.5/clasp/unfounded_check.h: C++ source, ASCII text data/clasp-3.3.5/clasp/util/hash.h: C++ source, ASCII text data/clasp-3.3.5/clasp/util/indexed_priority_queue.h: C++ source, ASCII text data/clasp-3.3.5/clasp/util/left_right_sequence.h: C++ source, ASCII text data/clasp-3.3.5/clasp/util/misc_types.h: C++ source, ASCII text data/clasp-3.3.5/clasp/util/multi_queue.h: C++ source, ASCII text data/clasp-3.3.5/clasp/util/pod_vector.h: C++ source, ASCII text data/clasp-3.3.5/clasp/util/timer.h: C++ source, ASCII text data/clasp-3.3.5/clasp/util/type_manip.h: C++ source, ASCII text data/clasp-3.3.5/clasp/weight_constraint.h: C++ source, ASCII text data/clasp-3.3.5/cmake/clasp-config-version.cmake.in: ISO-8859 text data/clasp-3.3.5/cmake/clasp-config.cmake.in: ASCII text data/clasp-3.3.5/create-archive.sh: Bourne-Again shell script, ASCII text executable data/clasp-3.3.5/doc/api/clasp.doxy: ASCII text data/clasp-3.3.5/doc/api/clasp.txt: ASCII text data/clasp-3.3.5/doc/api/layout.css: ASCII text data/clasp-3.3.5/doc/api/layout.xml: exported SGML document, ASCII text data/clasp-3.3.5/doc/api/potassco-logo.png: PNG image data, 48 x 48, 8-bit/color RGBA, non-interlaced data/clasp-3.3.5/examples/CMakeLists.txt: ASCII text data/clasp-3.3.5/examples/example.h: C++ source, ASCII text data/clasp-3.3.5/examples/example1.cpp: C source, ASCII text data/clasp-3.3.5/examples/example2.cpp: C++ source, ASCII text data/clasp-3.3.5/examples/example3.cpp: C source, ASCII text data/clasp-3.3.5/examples/example4.cpp: C source, ASCII text data/clasp-3.3.5/examples/main.cpp: C source, ASCII text data/clasp-3.3.5/libpotassco/.gitignore: ASCII text data/clasp-3.3.5/libpotassco/.travis.yml: ASCII text data/clasp-3.3.5/libpotassco/CMakeLists.txt: ASCII text data/clasp-3.3.5/libpotassco/LICENSE: ASCII text data/clasp-3.3.5/libpotassco/README.md: ASCII text data/clasp-3.3.5/libpotassco/app/CMakeLists.txt: ASCII text data/clasp-3.3.5/libpotassco/app/lpconvert.cpp: C++ source, ASCII text data/clasp-3.3.5/libpotassco/cmake/potassco-config-version.cmake.in: ISO-8859 text data/clasp-3.3.5/libpotassco/cmake/potassco-config.cmake: ASCII text data/clasp-3.3.5/libpotassco/doc/Doxyfile: ASCII text data/clasp-3.3.5/libpotassco/doc/layout.css: ASCII text data/clasp-3.3.5/libpotassco/doc/layout.xml: exported SGML document, ASCII text data/clasp-3.3.5/libpotassco/doc/potassco-logo.png: PNG image data, 48 x 48, 8-bit/color RGBA, non-interlaced data/clasp-3.3.5/libpotassco/potassco/application.h: C++ source, ASCII text data/clasp-3.3.5/libpotassco/potassco/aspif.h: C++ source, ASCII text data/clasp-3.3.5/libpotassco/potassco/aspif_text.h: C++ source, ASCII text data/clasp-3.3.5/libpotassco/potassco/basic_types.h: C++ source, ASCII text data/clasp-3.3.5/libpotassco/potassco/clingo.h: C++ source, ASCII text data/clasp-3.3.5/libpotassco/potassco/convert.h: C++ source, ASCII text data/clasp-3.3.5/libpotassco/potassco/match_basic_types.h: C++ source, ASCII text data/clasp-3.3.5/libpotassco/potassco/platform.h: C++ source, ASCII text data/clasp-3.3.5/libpotassco/potassco/program_opts/detail/notifier.h: C++ source, ASCII text data/clasp-3.3.5/libpotassco/potassco/program_opts/detail/refcountable.h: C++ source, ASCII text data/clasp-3.3.5/libpotassco/potassco/program_opts/detail/value_store.h: C++ source, ASCII text data/clasp-3.3.5/libpotassco/potassco/program_opts/errors.h: C++ source, ASCII text data/clasp-3.3.5/libpotassco/potassco/program_opts/mapped_value.h: C++ source, ASCII text data/clasp-3.3.5/libpotassco/potassco/program_opts/program_options.h: C++ source, ASCII text data/clasp-3.3.5/libpotassco/potassco/program_opts/typed_value.h: C++ source, ASCII text data/clasp-3.3.5/libpotassco/potassco/program_opts/value.h: C++ source, ASCII text data/clasp-3.3.5/libpotassco/potassco/program_opts/value_store.h: C++ source, ASCII text data/clasp-3.3.5/libpotassco/potassco/rule_utils.h: C++ source, ASCII text data/clasp-3.3.5/libpotassco/potassco/smodels.h: C++ source, ASCII text data/clasp-3.3.5/libpotassco/potassco/string_convert.h: C++ source, ASCII text data/clasp-3.3.5/libpotassco/potassco/theory_data.h: C++ source, ASCII text data/clasp-3.3.5/libpotassco/src/CMakeLists.txt: ASCII text data/clasp-3.3.5/libpotassco/src/application.cpp: C++ source, ASCII text data/clasp-3.3.5/libpotassco/src/aspif.cpp: C++ source, ASCII text data/clasp-3.3.5/libpotassco/src/aspif_text.cpp: C++ source, ASCII text data/clasp-3.3.5/libpotassco/src/clingo.cpp: C++ source, ASCII text data/clasp-3.3.5/libpotassco/src/convert.cpp: C++ source, ASCII text data/clasp-3.3.5/libpotassco/src/match_basic_types.cpp: C++ source, ASCII text data/clasp-3.3.5/libpotassco/src/program_options.cpp: C++ source, ASCII text data/clasp-3.3.5/libpotassco/src/rule_utils.cpp: C++ source, ASCII text data/clasp-3.3.5/libpotassco/src/smodels.cpp: C++ source, ASCII text data/clasp-3.3.5/libpotassco/src/string_convert.cpp: C++ source, ASCII text data/clasp-3.3.5/libpotassco/src/theory_data.cpp: C++ source, ASCII text data/clasp-3.3.5/libpotassco/src/value_store.cpp: C++ source, ASCII text data/clasp-3.3.5/libpotassco/tests/CMakeLists.txt: ASCII text data/clasp-3.3.5/libpotassco/tests/catch.hpp: C source, ASCII text data/clasp-3.3.5/libpotassco/tests/main.cpp: C source, ASCII text data/clasp-3.3.5/libpotassco/tests/test_application.cpp: C++ source, ASCII text data/clasp-3.3.5/libpotassco/tests/test_aspif.cpp: C++ source, ASCII text data/clasp-3.3.5/libpotassco/tests/test_common.h: C++ source, ASCII text data/clasp-3.3.5/libpotassco/tests/test_options.cpp: C++ source, ASCII text data/clasp-3.3.5/libpotassco/tests/test_smodels.cpp: C++ source, ASCII text data/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp: C++ source, ASCII text data/clasp-3.3.5/libpotassco/tests/test_text.cpp: C++ source, ASCII text data/clasp-3.3.5/libpotassco/tests/test_value.cpp: C++ source, ASCII text data/clasp-3.3.5/src/CMakeLists.txt: C++ source, ASCII text data/clasp-3.3.5/src/asp_preprocessor.cpp: C++ source, ASCII text data/clasp-3.3.5/src/cb_enumerator.cpp: C++ source, ASCII text data/clasp-3.3.5/src/clasp_facade.cpp: C++ source, ASCII text data/clasp-3.3.5/src/clasp_options.cpp: C++ source, ASCII text data/clasp-3.3.5/src/clasp_output.cpp: C++ source, ASCII text data/clasp-3.3.5/src/clause.cpp: C++ source, ASCII text data/clasp-3.3.5/src/clingo.cpp: C++ source, ASCII text data/clasp-3.3.5/src/constraint.cpp: C++ source, ASCII text data/clasp-3.3.5/src/dependency_graph.cpp: C++ source, ASCII text data/clasp-3.3.5/src/enumerator.cpp: C++ source, ASCII text data/clasp-3.3.5/src/heuristics.cpp: C++ source, ASCII text data/clasp-3.3.5/src/logic_program.cpp: C++ source, ASCII text data/clasp-3.3.5/src/logic_program_types.cpp: C++ source, ASCII text data/clasp-3.3.5/src/lookahead.cpp: C++ source, ASCII text data/clasp-3.3.5/src/minimize_constraint.cpp: C++ source, ASCII text data/clasp-3.3.5/src/model_enumerators.cpp: C++ source, ASCII text data/clasp-3.3.5/src/parallel_solve.cpp: C++ source, ASCII text data/clasp-3.3.5/src/parser.cpp: C++ source, ASCII text data/clasp-3.3.5/src/program_builder.cpp: C++ source, ASCII text data/clasp-3.3.5/src/satelite.cpp: C++ source, ASCII text data/clasp-3.3.5/src/shared_context.cpp: C++ source, ASCII text data/clasp-3.3.5/src/solve_algorithms.cpp: C++ source, ASCII text data/clasp-3.3.5/src/solver.cpp: C++ source, ASCII text data/clasp-3.3.5/src/solver_strategies.cpp: C++ source, ASCII text data/clasp-3.3.5/src/solver_types.cpp: C++ source, ASCII text data/clasp-3.3.5/src/statistics.cpp: C++ source, ASCII text data/clasp-3.3.5/src/timer.cpp: C++ source, ASCII text data/clasp-3.3.5/src/unfounded_check.cpp: C++ source, ASCII text data/clasp-3.3.5/src/weight_constraint.cpp: C++ source, ASCII text data/clasp-3.3.5/tests/CMakeLists.txt: ASCII text data/clasp-3.3.5/tests/catch.hpp: C source, ASCII text data/clasp-3.3.5/tests/clause_creator_test.cpp: C++ source, ASCII text data/clasp-3.3.5/tests/clause_test.cpp: C++ source, ASCII text data/clasp-3.3.5/tests/cli_test.cpp: C++ source, ASCII text data/clasp-3.3.5/tests/decision_heuristic_test.cpp: C++ source, ASCII text data/clasp-3.3.5/tests/dependency_graph_test.cpp: C++ source, ASCII text data/clasp-3.3.5/tests/dlp_builder_test.cpp: C++ source, ASCII text data/clasp-3.3.5/tests/enumerator_test.cpp: C++ source, ASCII text data/clasp-3.3.5/tests/facade_test.cpp: C++ source, ASCII text data/clasp-3.3.5/tests/literal_test.cpp: C++ source, ASCII text data/clasp-3.3.5/tests/lpcompare.h: C++ source, ASCII text data/clasp-3.3.5/tests/minimize_test.cpp: C++ source, ASCII text data/clasp-3.3.5/tests/parser_test.cpp: C++ source, ASCII text data/clasp-3.3.5/tests/program_builder_test.cpp: C++ source, ASCII text data/clasp-3.3.5/tests/rule_test.cpp: C++ source, ASCII text data/clasp-3.3.5/tests/satelite_test.cpp: C++ source, ASCII text data/clasp-3.3.5/tests/solver_test.cpp: C++ source, ASCII text data/clasp-3.3.5/tests/test_main.cpp: C source, ASCII text data/clasp-3.3.5/tests/unfounded_check_test.cpp: C++ source, ASCII text data/clasp-3.3.5/tests/weight_constraint_test.cpp: C++ source, ASCII text data/clasp-3.3.5/tools/clasp-option-template.inl: C source, ASCII text data/clasp-3.3.5/tools/generate-pcs.sh: Bourne-Again shell script, ASCII text executable data/clasp-3.3.5/debian/changelog: ASCII text data/clasp-3.3.5/debian/clasp.manpages: ASCII text, with no line terminators data/clasp-3.3.5/debian/control: ASCII text data/clasp-3.3.5/debian/copyright: ASCII text data/clasp-3.3.5/debian/dirs: ASCII text data/clasp-3.3.5/debian/docs: ASCII text data/clasp-3.3.5/debian/patches/clasp-manpage.patch: unified diff output, ASCII text data/clasp-3.3.5/debian/patches/link-libatomic-check-gcc.patch: unified diff output, ASCII text data/clasp-3.3.5/debian/patches/series: ASCII text data/clasp-3.3.5/debian/rules: a /usr/bin/make -f script, ASCII text executable data/clasp-3.3.5/debian/source/format: ASCII text data/clasp-3.3.5/debian/tests/clasp0: Bourne-Again shell script, ASCII text executable data/clasp-3.3.5/debian/tests/clasp1: Bourne-Again shell script, ASCII text executable data/clasp-3.3.5/debian/tests/clasp2: Bourne-Again shell script, ASCII text executable data/clasp-3.3.5/debian/tests/control: ASCII text data/clasp-3.3.5/debian/watch: ASCII text data/clasp-3.3.5/.pc/.version: ASCII text data/clasp-3.3.5/.pc/.quilt_patches: ASCII text data/clasp-3.3.5/.pc/.quilt_series: ASCII text data/clasp-3.3.5/.pc/applied-patches: ASCII text data/clasp-3.3.5/.pc/clasp-manpage.patch/clasp.1: empty data/clasp-3.3.5/.pc/link-libatomic-check-gcc.patch/CMakeLists.txt: C source, ASCII text data/clasp-3.3.5/clasp.1: troff or preprocessor input, ASCII text data/clasp-3.3.5/CMakeLists.txt: C source, ASCII text