data/cryptominisat-5.8.0+dfsg1/.clang-format: ASCII text data/cryptominisat-5.8.0+dfsg1/.dockerignore: ASCII text data/cryptominisat-5.8.0+dfsg1/.gitignore: ASCII text data/cryptominisat-5.8.0+dfsg1/.gitmodules: ASCII text data/cryptominisat-5.8.0+dfsg1/.travis.yml: ASCII text data/cryptominisat-5.8.0+dfsg1/AUTHORS: ASCII text data/cryptominisat-5.8.0+dfsg1/CMakeLists.txt: ASCII text data/cryptominisat-5.8.0+dfsg1/Dockerfile: ASCII text data/cryptominisat-5.8.0+dfsg1/Dockerfile.web: ASCII text data/cryptominisat-5.8.0+dfsg1/LICENSE.txt: ASCII text data/cryptominisat-5.8.0+dfsg1/README.markdown: ASCII text, with very long lines data/cryptominisat-5.8.0+dfsg1/appveyor.yml: ASCII text, with very long lines data/cryptominisat-5.8.0+dfsg1/cmake/AddGTestSuite.cmake: ASCII text data/cryptominisat-5.8.0+dfsg1/cmake/AddSTPGTest.cmake: ASCII text data/cryptominisat-5.8.0+dfsg1/cmake/CheckFloatPrecision.cmake: ASCII text data/cryptominisat-5.8.0+dfsg1/cmake/FindM4RI.cmake: ASCII text data/cryptominisat-5.8.0+dfsg1/cmake/FindPerftools.cmake: ASCII text data/cryptominisat-5.8.0+dfsg1/cmake/FindPkgMacros.cmake: ASCII text data/cryptominisat-5.8.0+dfsg1/cmake/FindSQLITE3.cmake: ASCII text data/cryptominisat-5.8.0+dfsg1/cmake/FindTBB.cmake: ASCII text data/cryptominisat-5.8.0+dfsg1/cmake/FindValgrind.cmake: ASCII text data/cryptominisat-5.8.0+dfsg1/cmake/Findcargo.cmake: ASCII text data/cryptominisat-5.8.0+dfsg1/cmake/Findrustc.cmake: ASCII text data/cryptominisat-5.8.0+dfsg1/cmake/Findrustdoc.cmake: ASCII text data/cryptominisat-5.8.0+dfsg1/cmake/GetGitRevisionDescription.cmake: ASCII text data/cryptominisat-5.8.0+dfsg1/cmake/GetGitRevisionDescription.cmake.in: ASCII text data/cryptominisat-5.8.0+dfsg1/cmake/Rust.cmake: ASCII text data/cryptominisat-5.8.0+dfsg1/cmake/cmake_uninstall.cmake.in: ASCII text data/cryptominisat-5.8.0+dfsg1/cmsat_tablestructure.sql: ASCII text data/cryptominisat-5.8.0+dfsg1/cryptominisat5Config.cmake.in: ASCII text data/cryptominisat-5.8.0+dfsg1/docs/HOWTO-ANALYSIS: ASCII text data/cryptominisat-5.8.0+dfsg1/docs/HOWTO_WEB: ASCII text data/cryptominisat-5.8.0+dfsg1/docs/HOWTO_opcontrol: ASCII text data/cryptominisat-5.8.0+dfsg1/docs/HOWTO_perf: ASCII text data/cryptominisat-5.8.0+dfsg1/manpage-extras: ASCII text data/cryptominisat-5.8.0+dfsg1/python/CMakeLists.txt: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/python/LICENSE: ASCII text data/cryptominisat-5.8.0+dfsg1/python/MANIFEST.in: ASCII text data/cryptominisat-5.8.0+dfsg1/python/Makefile: makefile script, ASCII text data/cryptominisat-5.8.0+dfsg1/python/README.rst: ASCII text, with very long lines data/cryptominisat-5.8.0+dfsg1/python/setup.py.in: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/python/src/pycryptosat.cpp.in: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/python/tests/__init__.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/python/tests/f400-r425-x000.cnf: ASCII text data/cryptominisat-5.8.0+dfsg1/python/tests/test.cnf: ASCII text data/cryptominisat-5.8.0+dfsg1/python/tests/test_pycryptosat.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/appveyor.ps1: ASCII text data/cryptominisat-5.8.0+dfsg1/scripts/aws/README.markdown: ASCII text data/cryptominisat-5.8.0+dfsg1/scripts/aws/RequestSpotClient.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/aws/build_Maple_LCM_Dist.sh: Bourne-Again shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/aws/build_cmsat_satcomp16.sh: Bourne-Again shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/aws/build_cryptominisat.sh: Bourne-Again shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/aws/build_drat-trim2.sh: Bourne-Again shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/aws/build_glucose2016.sh: Bourne-Again shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/aws/build_lingeling_ayv.sh: Bourne-Again shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/aws/build_lingeling_bbc.sh: Bourne-Again shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/aws/build_maplecomsps_drup.sh: Bourne-Again shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/aws/build_swdia5by.sh: Bourne-Again shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/aws/build_swdia5by_old.sh: Bourne-Again shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/aws/client.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/aws/common_aws.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/aws/config/satcomp11_updated: ASCII text data/cryptominisat-5.8.0+dfsg1/scripts/aws/config/satcomp13_updated: ASCII text data/cryptominisat-5.8.0+dfsg1/scripts/aws/config/satcomp14_updated: ASCII text data/cryptominisat-5.8.0+dfsg1/scripts/aws/config/satcomp16_updated: ASCII text data/cryptominisat-5.8.0+dfsg1/scripts/aws/config/satcomp17_updated: ASCII text data/cryptominisat-5.8.0+dfsg1/scripts/aws/config/satrace15_updated: ASCII text data/cryptominisat-5.8.0+dfsg1/scripts/aws/config/test_updated: ASCII text data/cryptominisat-5.8.0+dfsg1/scripts/aws/config/unsat_small_candidates_fullpath: ASCII text data/cryptominisat-5.8.0+dfsg1/scripts/aws/ec2-spot-instance-test.cfg: ASCII text data/cryptominisat-5.8.0+dfsg1/scripts/aws/ec2-spot-instance.cfg: ASCII text data/cryptominisat-5.8.0+dfsg1/scripts/aws/launch_server.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/aws/pack_cnf_lists.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/aws/pre-server.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/aws/satcomp091113_updated: ASCII text data/cryptominisat-5.8.0+dfsg1/scripts/aws/server.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/aws/server_option_parser.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/check_all_licenses.sh: Bourne-Again shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/crystal/ballofcrystal.sh: Bourne-Again shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/crystal/best_features.txt: ASCII text data/cryptominisat-5.8.0+dfsg1/scripts/crystal/best_features.txt-ext: ASCII text data/cryptominisat-5.8.0+dfsg1/scripts/crystal/check_data_quality.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/crystal/cldata_gen_pandas.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/crystal/cldata_predict.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/crystal/clean_update_data.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/crystal/clustering.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/crystal/concat.sh: Bourne-Again shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/crystal/concat_pandas.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/crystal/crystalcodegen.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/crystal/fill_used_clauses.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/crystal/helper.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/crystal/learn.sh: Bourne-Again shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/crystal/process_all_dats.sh: Bourne-Again shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/crystal/sample_data.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/crystal/sat_unsat.sh: Bourne-Again shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/crystal/vardata_gen_pandas.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/crystal/vardata_predict.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/CMakeLists.txt: ASCII text data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/debuglib.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/fuzz_test.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/intersperse.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/verifier.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/verifier_test.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/xor_to_cnf_class.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/output_parser/concat_files.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/output_parser/convert_to_cactusplot.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/output_parser/create_solvetimes.sh: Bourne-Again shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/output_parser/plotit: ASCII text data/cryptominisat-5.8.0+dfsg1/scripts/output_parser/solved_with_options.sh: Bourne-Again shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/output_parser/solved_with_options_sat2019.sh: Bourne-Again shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/output_parser/solvetimes_from_output.sh: POSIX shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/output_parser/solvetimes_from_output_cadical.sh: MGR bitmap, old format, 1-bit deep, 32-bit aligned data/cryptominisat-5.8.0+dfsg1/scripts/output_parser/solvetimes_from_output_glucose.sh: POSIX shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/output_parser/solvetimes_from_output_lingeling.sh: POSIX shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/output_parser/solvetimes_from_output_yalsat.sh: Bourne-Again shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/output_parser/sqlite3_checks.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/output_parser/update_concat_sqlite_files.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/reconf/count_plus_minus.sh: Bourne-Again shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/reconf/generate_reconf.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/reconf/reconf.py: Python script, ASCII text executable, with very long lines data/cryptominisat-5.8.0+dfsg1/scripts/reconf/tocpp.py: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/scripts/speed-check/addclause.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/starexec/job.xml: XML 1.0 document, ASCII text data/cryptominisat-5.8.0+dfsg1/scripts/travis-cmake.sh: Bourne-Again shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/travis-install-cmake.sh: Bourne-Again shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/travis-install-lcov.sh: Bourne-Again shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/scripts/xxd-alike.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/sonar-project.properties: ASCII text data/cryptominisat-5.8.0+dfsg1/src/.color_coded: ASCII text data/cryptominisat-5.8.0+dfsg1/src/.kdev_include_paths: ASCII text data/cryptominisat-5.8.0+dfsg1/src/CMakeLists.txt: ASCII text data/cryptominisat-5.8.0+dfsg1/src/GitSHA1.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/MersenneTwister.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/Vec.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/XAlloc.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/alg.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/avgcalc.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/bitarray.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/boundedqueue.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/bva.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/bva.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/cardfinder.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/cardfinder.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/ccnr.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/ccnr.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/ccnr_cms.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/ccnr_cms.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/ccnr_mersenne.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/cl_predictors.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/cl_predictors.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/clabstraction.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/clause.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/clauseallocator.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/clauseallocator.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/clausecleaner.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/clausecleaner.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/clausedumper.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/clausedumper.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/cloffset.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/clustering.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/cms_bosphorus.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/cms_bosphorus.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/cms_breakid.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/cnf.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/cnf.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/compfinder.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/compfinder.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/comphandler.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/comphandler.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/completedetachreattacher.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/completedetachreattacher.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/constants.h: C source, UTF-8 Unicode text data/cryptominisat-5.8.0+dfsg1/src/cryptominisat.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/cryptominisat.h.in: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/cryptominisat_c.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/cryptominisat_c.h.in: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/cset.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/datasync.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/datasync.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/datasyncserver.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/datasyncserver.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/dimacsparser.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/distillerlong.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/distillerlong.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/drat.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/drat.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/fuzz.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/gatefinder.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/gatefinder.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/gaussian.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/gaussian.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/gausswatched.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/gqueuedata.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/hasher.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/heap.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/hyperengine.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/hyperengine.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/intree.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/intree.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/ipasir.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/ipasir.h: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/lucky.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/lucky.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/main.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/main_common.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/main_common.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/main_emscripten.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/main_exe.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/main_simple.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/matrixfinder.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/matrixfinder.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/mpi/DataSync.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/mpi/DataSync.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/mpi/mpi.txt: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/msvc/stdint.h: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/mystack.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/nomutex.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/packedmatrix.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/packedrow.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/packedrow.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/popcnt.h: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/predict_func_type.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/propby.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/propby_backup.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/propbyforgraph.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/propengine.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/propengine.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/reducedb.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/reducedb.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/satzilla_features.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/satzilla_features.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/satzilla_features_calc.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/satzilla_features_calc.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/satzilla_features_to_reconf.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/satzilla_features_to_reconf.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/sccfinder.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/sccfinder.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/searcher.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/searchhist.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/searchstats.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/searchstats.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/shareddata.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/signalcode.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/signalcode.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/simplefile.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/sls.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/sls.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/solutionextender.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/solutionextender.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/solutionextender_old-cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/solutionextender_old-h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/solver.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/solver.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/solverconf.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/solvertypes.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/solvertypesmini.h.in: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/sql_tablestructure.h: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/sqlstats.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/str_impl_w_impl.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/str_impl_w_impl.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/streambuffer.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/subsumeimplicit.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/subsumeimplicit.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/subsumestrengthen.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/subsumestrengthen.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/time_mem.h: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/toplevelgauss.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/toplevelgauss.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/toplevelgaussabst.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/touchlist.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/trim.h: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/vardata.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/vardistgen.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/vardistgen.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/varreplacer.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/varreplacer.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/varupdatehelper.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/vmtf.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/walksat.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/walksat.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/watchalgos.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/watcharray.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/watcharray_handrolled.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/watcharray_handrolled.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/watched.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/watched_backup.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/xor.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/xorfinder.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/xorfinder.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/yals.c: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/yals.h: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/yalsat.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/yalsat.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/yils.h: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/cms_breakid.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/main.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/solverconf.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/src/GitSHA1.cpp.in: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/CMakeLists.txt: ASCII text data/cryptominisat-5.8.0+dfsg1/tests/assump_test.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/c_test.c: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/cardfinder_test.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/clause_alloc_test.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/clause_cleaner_test.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/clause_test.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/cnf-files/CMakeLists.txt: ASCII text data/cryptominisat-5.8.0+dfsg1/tests/cnf-files/indep-1.cnf: ASCII text data/cryptominisat-5.8.0+dfsg1/tests/cnf-files/indep-2.cnf: ASCII text data/cryptominisat-5.8.0+dfsg1/tests/cnf-files/indep-3.cnf: ASCII text data/cryptominisat-5.8.0+dfsg1/tests/cnf-files/indep_vars.cnf: ASCII text data/cryptominisat-5.8.0+dfsg1/tests/cnf-files/indep_vars_2.cnf: ASCII text data/cryptominisat-5.8.0+dfsg1/tests/cnf-files/lit.cfg: ASCII text data/cryptominisat-5.8.0+dfsg1/tests/cnf-files/lit.site.cfg.in: ASCII text data/cryptominisat-5.8.0+dfsg1/tests/cnf-files/reconftest.cnf: ASCII text data/cryptominisat-5.8.0+dfsg1/tests/cnf-files/simptest.cnf: ASCII text data/cryptominisat-5.8.0+dfsg1/tests/cnf-files/simptest2.cnf: ASCII text data/cryptominisat-5.8.0+dfsg1/tests/cnf-files/verbosity.cnf: ASCII text data/cryptominisat-5.8.0+dfsg1/tests/cnf-files/xor.cnf: ASCII text data/cryptominisat-5.8.0+dfsg1/tests/cnf-files/xor_longer.cnf: ASCII text data/cryptominisat-5.8.0+dfsg1/tests/comp_find_test.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/comphandler_test.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/distill_klee.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/distill_long_with_implicit_test.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/distiller_all_with_all_test.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/dump_test.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/gauss_test.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/heap_test.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/implied_by_test.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/intree_test.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/ipasir_example.c: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/ipasir_test.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/lucky_test.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/matrixfinder_test.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/multisol_test.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/readme_test.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/scc_test.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/searcher_test.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/simp-checks/CMakeLists.txt: ASCII text data/cryptominisat-5.8.0+dfsg1/tests/simp-checks/check_bve.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/stp_test.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/subsume_impl_test.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/ternary_resolve_test.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/test_helper.h: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/vrepl_test.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/tests/xorfinder_test.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/utils/config/crypt4-params.pcs: ASCII text data/cryptominisat-5.8.0+dfsg1/utils/minimal_cms/CMakeLists.txt: ASCII text data/cryptominisat-5.8.0+dfsg1/utils/minimal_cms/minimal_cms.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/web/README.markdown: ASCII text data/cryptominisat-5.8.0+dfsg1/web/apache-config.conf: ASCII text data/cryptominisat-5.8.0+dfsg1/web/connect.php: PHP script, ASCII text data/cryptominisat-5.8.0+dfsg1/web/drawgraphs.js: HTML document, ASCII text data/cryptominisat-5.8.0+dfsg1/web/file_creator.py: Python script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/web/get_data.php: PHP script, ASCII text data/cryptominisat-5.8.0+dfsg1/web/get_files.php: PHP script, ASCII text data/cryptominisat-5.8.0+dfsg1/web/get_gitrevs.php: PHP script, ASCII text data/cryptominisat-5.8.0+dfsg1/web/index.html: HTML document, ASCII text data/cryptominisat-5.8.0+dfsg1/web/install_web.sh: Bourne-Again shell script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/web/jquery.jqplot.css: ASCII text data/cryptominisat-5.8.0+dfsg1/web/selectdata.js: ASCII text data/cryptominisat-5.8.0+dfsg1/web/style.css: ASCII text data/cryptominisat-5.8.0+dfsg1/debian/README.Debian: UTF-8 Unicode text data/cryptominisat-5.8.0+dfsg1/debian/changelog: UTF-8 Unicode text data/cryptominisat-5.8.0+dfsg1/debian/control: UTF-8 Unicode text data/cryptominisat-5.8.0+dfsg1/debian/copyright: UTF-8 Unicode text data/cryptominisat-5.8.0+dfsg1/debian/cryptominisat.install: ASCII text data/cryptominisat-5.8.0+dfsg1/debian/cryptominisat.links: ASCII text data/cryptominisat-5.8.0+dfsg1/debian/cryptominisat.manpages: ASCII text data/cryptominisat-5.8.0+dfsg1/debian/cryptominisat.menu: ASCII text data/cryptominisat-5.8.0+dfsg1/debian/gbp.conf: ASCII text data/cryptominisat-5.8.0+dfsg1/debian/libcryptominisat5-5.8.install: ASCII text data/cryptominisat-5.8.0+dfsg1/debian/libcryptominisat5-dev.install: ASCII text data/cryptominisat-5.8.0+dfsg1/debian/patches/fix_manpage.patch: unified diff output, ASCII text data/cryptominisat-5.8.0+dfsg1/debian/patches/reproducible-build.patch: unified diff output, ASCII text data/cryptominisat-5.8.0+dfsg1/debian/patches/series: ASCII text data/cryptominisat-5.8.0+dfsg1/debian/patches/spelling_errors.patch: unified diff output, ASCII text data/cryptominisat-5.8.0+dfsg1/debian/python3-cryptominisat.docs: ASCII text data/cryptominisat-5.8.0+dfsg1/debian/python3-cryptominisat.install: ASCII text data/cryptominisat-5.8.0+dfsg1/debian/rules: a /usr/bin/make -f script, ASCII text executable data/cryptominisat-5.8.0+dfsg1/debian/source/format: ASCII text data/cryptominisat-5.8.0+dfsg1/debian/tests/control: ASCII text data/cryptominisat-5.8.0+dfsg1/debian/tests/cryptominisat-basic: ASCII text data/cryptominisat-5.8.0+dfsg1/debian/watch: ASCII text data/cryptominisat-5.8.0+dfsg1/.pc/.version: ASCII text data/cryptominisat-5.8.0+dfsg1/.pc/.quilt_patches: ASCII text data/cryptominisat-5.8.0+dfsg1/.pc/.quilt_series: ASCII text data/cryptominisat-5.8.0+dfsg1/.pc/applied-patches: ASCII text data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/cms_breakid.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/main.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp: C++ source, ASCII text data/cryptominisat-5.8.0+dfsg1/.pc/fix_manpage.patch/src/solverconf.cpp: C source, ASCII text data/cryptominisat-5.8.0+dfsg1/.pc/reproducible-build.patch/src/GitSHA1.cpp.in: C source, ASCII text