├── .github └── workflows │ ├── build.yml │ ├── nix.yml │ └── windows-static-binary.yaml ├── .gitignore ├── .gitmodules ├── .vimsettings.vim ├── AUTHORS ├── CMakeLists.txt ├── LICENSE.txt ├── MANIFEST.in ├── README.markdown ├── cmake ├── AddGTestSuite.cmake ├── AddSTPGTest.cmake ├── CheckFloatPrecision.cmake ├── FindGMP.cmake ├── FindPerftools.cmake ├── FindPkgMacros.cmake ├── FindSQLITE3.cmake ├── FindTBB.cmake ├── FindValgrind.cmake ├── Findcargo.cmake ├── Findrustc.cmake ├── Findrustdoc.cmake ├── GetGitRevisionDescription.cmake ├── GetGitRevisionDescription.cmake.in ├── Rust.cmake └── cmake_uninstall.cmake.in ├── cmsat_tablestructure.sql ├── cryptominisat5Config.cmake.in ├── dist └── README.md ├── docs ├── HOWTO_WEB ├── satcomp14-pdf │ ├── Makefile │ ├── cmsv4.tex │ ├── ieee.cls │ ├── sigproc.bib │ └── splncs03.bst ├── satcomp15-pdf │ ├── Makefile │ ├── cmsv4.kilepr │ ├── cmsv4.tex │ ├── ieee.cls │ ├── sigproc.bib │ └── splncs03.bst ├── satcomp16-pdf │ ├── Makefile │ ├── cmsv5.kilepr │ ├── cmsv5.tex │ ├── ieee.cls │ ├── sigproc.bib │ └── splncs03.bst ├── satcomp18-pdf │ ├── Makefile │ ├── cmsv5.kilepr │ ├── cmsv55.tex │ ├── ieee.cls │ ├── sigproc.bib │ └── splncs03.bst ├── satcomp20-pdf │ ├── ccanr │ │ ├── Makefile │ │ ├── cms-ccanr.tex │ │ ├── ieee.cls │ │ ├── sigproc.bib │ │ └── splncs03.bst │ └── walksat │ │ ├── Makefile │ │ ├── cms-walksat.tex │ │ ├── ieee.cls │ │ ├── sigproc.bib │ │ └── splncs03.bst └── satrace19-pdf │ ├── walksat │ ├── Makefile │ ├── cmsv56-walksat.tex │ ├── ieee.cls │ ├── sigproc.bib │ └── splncs03.bst │ └── yalsat │ ├── Makefile │ ├── cmsv56-yalsat.tex │ ├── ieee.cls │ ├── sigproc.bib │ └── splncs03.bst ├── flake.lock ├── flake.nix ├── html └── index.html ├── manpage-extras ├── pyproject.toml ├── python ├── LICENSE ├── README.md ├── src │ ├── GitSHA1.cpp │ └── pycryptosat.cpp └── tests │ ├── __init__.py │ ├── f400-r425-x000.cnf │ ├── test.cnf │ └── test_pycryptosat.py ├── scripts ├── bnn_create_random.py ├── build_static_Windows_binary.sh ├── check_all_licenses.sh ├── check_lpn_solution.py ├── crystal │ ├── ballofcrystal.sh │ ├── best_features-b93210018231ab04d2.txt │ ├── best_features-correlation2.txt │ ├── best_features-correlaton.txt │ ├── best_features-d6e51325f8046.txt │ ├── best_features-kissat.txt │ ├── best_features-rdb0-only.txt │ ├── ccg.py │ ├── check_data_quality.py │ ├── cldata_gen_pandas.py │ ├── cldata_predict.py │ ├── clean_update_data.py │ ├── clustering.py │ ├── concat_pandas.py │ ├── fill_used_clauses.py │ ├── fix_up_frat.py │ ├── gen_best_feats.sh │ ├── get_msqe.py │ ├── helper.py │ ├── learn-kissat.sh │ ├── learn.sh │ ├── ml_module.py │ ├── perc_sql_fixer.py │ ├── process_all_dats.sh │ ├── sample_data.py │ ├── setparams_ballofcrystal.sh │ ├── vardata_gen_pandas.py │ └── vardata_predict.py ├── drat-proof.py ├── final_check.py ├── fuzz │ ├── CMakeLists.txt │ ├── clean_cnf.py │ ├── debuglib.py │ ├── final_check.py │ ├── fuzz_test.py │ ├── intersperse.py │ ├── shuffle.py │ ├── verifier.py │ ├── verifier_test.py │ └── xor_to_cnf_class.py ├── gen_xor_pb.py ├── lpn-gen.py ├── lpn-test.sh ├── output_parser │ ├── concat_files.py │ ├── convert_to_cactusplot.py │ ├── create_solvetimes.sh │ ├── helper.py │ ├── plotit │ ├── solved_with_options.sh │ ├── solvetimes_from_output.sh │ ├── solvetimes_from_output_cadical.sh │ ├── solvetimes_from_output_glucose.sh │ ├── solvetimes_from_output_lingeling.sh │ ├── solvetimes_from_output_yalsat.sh │ ├── sqlite3_checks.py │ └── update_concat_sqlite_files.py ├── prove.sh ├── reconf │ ├── count_plus_minus.sh │ ├── generate_reconf.py │ ├── reconf.py │ └── tocpp.py ├── speed-check │ └── addclause.py ├── tbuddy_fuzzer.sh ├── translate_opb.py └── xxd-alike.py ├── setup.cfg ├── setup.py ├── src ├── .color_coded ├── .kdev_include_paths ├── CMakeLists.txt ├── GitSHA1.cpp.in ├── GitSHA1.h ├── Vec.h ├── alg.h ├── argparse.hpp ├── avgcalc.h ├── backbone.cpp ├── bitarray.h ├── boundedqueue.h ├── cardfinder.cpp ├── cardfinder.h ├── ccnr.cpp ├── ccnr.h ├── ccnr_cms.cpp ├── ccnr_cms.h ├── ccnr_mersenne.h ├── ccnr_oracle.cpp ├── ccnr_oracle.h ├── ccnr_oracle_pre.cpp ├── ccnr_oracle_pre.h ├── cl_predictors_abs.cpp ├── cl_predictors_abs.h ├── cl_predictors_lgbm.cpp ├── cl_predictors_lgbm.h ├── cl_predictors_py.cpp ├── cl_predictors_py.h ├── cl_predictors_xgb.cpp ├── cl_predictors_xgb.h ├── clabstraction.h ├── clause.h ├── clauseallocator.cpp ├── clauseallocator.h ├── clausecleaner.cpp ├── clausecleaner.h ├── cloffset.h ├── cms_breakid.cpp ├── cms_breakid.h ├── cms_windows_includes.h ├── cnf.cpp ├── cnf.h ├── community_finder.cpp ├── community_finder.h ├── completedetachreattacher.cpp ├── completedetachreattacher.h ├── constants.h ├── cryptominisat.cpp ├── cryptominisat.h ├── cryptominisat_c.cpp ├── cryptominisat_c.h ├── cset.h ├── datasync.cpp ├── datasync.h ├── datasyncserver.cpp ├── datasyncserver.h ├── dimacsparser.h ├── distillerbin.cpp ├── distillerbin.h ├── distillerlitrem.cpp ├── distillerlitrem.h ├── distillerlong.cpp ├── distillerlong.h ├── distillerlongwithimpl.cpp ├── distillerlongwithimpl.h ├── frat.h ├── fuzz.cpp ├── gatefinder.cpp ├── gatefinder.h ├── gaussian.cpp ├── gaussian.h ├── gausswatched.h ├── get_clause_query.cpp ├── get_clause_query.h ├── gqueuedata.h ├── hasher.h ├── heap.h ├── hyperengine.cpp ├── hyperengine.h ├── idrup.h ├── intree.cpp ├── intree.h ├── ipasir.cpp ├── ipasir.h ├── lucky.cpp ├── lucky.h ├── main.cpp ├── main.h ├── main_common.cpp ├── main_common.h ├── main_emscripten.cpp ├── main_exe.cpp ├── main_mpi.cpp ├── matrixfinder.cpp ├── matrixfinder.h ├── mpicosat │ ├── LICENSE │ ├── NEWS │ ├── README │ ├── mpico_config.h │ ├── mpicosat.c │ ├── mpicosat.h │ └── version.c ├── mystack.h ├── nomutex.h ├── occsimplifier.cpp ├── occsimplifier.h ├── oracle │ ├── oracle.cpp │ ├── oracle.h │ └── utils.h ├── oracle_use.cpp ├── packedmatrix.h ├── packedrow.cpp ├── packedrow.h ├── pre.js ├── predict_func_type.h ├── probe.cpp ├── propby.h ├── propby_backup.h ├── propbyforgraph.h ├── propengine.cpp ├── propengine.h ├── reducedb.cpp ├── reducedb.h ├── satzilla_features.cpp ├── satzilla_features.h ├── satzilla_features_calc.cpp ├── satzilla_features_calc.h ├── sccfinder.cpp ├── sccfinder.h ├── searcher.cpp ├── searcher.h ├── searchhist.h ├── searchstats.cpp ├── searchstats.h ├── shareddata.h ├── signalcode.cpp ├── signalcode.h ├── sls.cpp ├── sls.h ├── solutionextender.cpp ├── solutionextender.h ├── solver.cpp ├── solver.h ├── solverconf.cpp ├── solverconf.h ├── solvertypes.h ├── solvertypesmini.h ├── sql_tablestructure.h ├── sqlitestats.cpp ├── sqlitestats.h ├── sqlstats.cpp ├── sqlstats.h ├── str_impl_w_impl.cpp ├── str_impl_w_impl.h ├── streambuffer.h ├── subsumeimplicit.cpp ├── subsumeimplicit.h ├── subsumestrengthen.cpp ├── subsumestrengthen.h ├── time_mem.h ├── touchlist.h ├── trim.h ├── vardata.h ├── vardistgen.cpp ├── vardistgen.h ├── varreplacer.cpp ├── varreplacer.h ├── varupdatehelper.h ├── vmtf.h ├── watchalgos.h ├── watcharray.h ├── watched.h ├── xor.h ├── xorfinder.cpp └── xorfinder.h ├── tests ├── CMakeLists.txt ├── assump_test.cpp ├── basic_test.cpp ├── c_test.c ├── cardfinder_test.cpp ├── clause_alloc_test.cpp ├── clause_cleaner_test.cpp ├── clause_test.cpp ├── cnf-files │ ├── CMakeLists.txt │ ├── indep-1.cnf │ ├── indep-2.cnf │ ├── indep-3.cnf │ ├── indep_vars.cnf │ ├── indep_vars_2.cnf │ ├── lit.cfg │ ├── lit.site.cfg.in │ ├── simptest.cnf │ ├── simptest2.cnf │ ├── verbosity.cnf │ ├── xor.cnf │ └── xor_longer.cnf ├── definability_test.cpp ├── distill_klee.cpp ├── distill_long_with_implicit_test.cpp ├── distiller_test.cpp ├── gate_test.cpp ├── gatefinder_test.cpp ├── gauss_test.cpp ├── heap_test.cpp ├── implied_by_test.cpp ├── intree_test.cpp ├── ipasir_example.c ├── ipasir_test.cpp ├── lucky_test.cpp ├── matrixfinder_test.cpp ├── ml_perf_test.cpp ├── multisol_test.cpp ├── readme_test.cpp ├── scc_test.cpp ├── searcher_test.cpp ├── simp-checks │ ├── CMakeLists.txt │ └── check_bve.py ├── solver_test.cpp ├── stp_test.cpp ├── subsume_impl_test.cpp ├── ternary_resolve_test.cpp ├── test_helper.h ├── vrepl_test.cpp └── xorfinder_test.cpp └── utils ├── config └── crypt4-params.pcs └── minimal_cms ├── CMakeLists.txt └── minimal_cms.cpp /.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/.github/workflows/build.yml -------------------------------------------------------------------------------- /.github/workflows/nix.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/.github/workflows/nix.yml -------------------------------------------------------------------------------- /.github/workflows/windows-static-binary.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/.github/workflows/windows-static-binary.yaml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/.gitmodules -------------------------------------------------------------------------------- /.vimsettings.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/.vimsettings.vim -------------------------------------------------------------------------------- /AUTHORS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/AUTHORS -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /MANIFEST.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/MANIFEST.in -------------------------------------------------------------------------------- /README.markdown: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/README.markdown -------------------------------------------------------------------------------- /cmake/AddGTestSuite.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/cmake/AddGTestSuite.cmake -------------------------------------------------------------------------------- /cmake/AddSTPGTest.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/cmake/AddSTPGTest.cmake -------------------------------------------------------------------------------- /cmake/CheckFloatPrecision.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/cmake/CheckFloatPrecision.cmake -------------------------------------------------------------------------------- /cmake/FindGMP.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/cmake/FindGMP.cmake -------------------------------------------------------------------------------- /cmake/FindPerftools.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/cmake/FindPerftools.cmake -------------------------------------------------------------------------------- /cmake/FindPkgMacros.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/cmake/FindPkgMacros.cmake -------------------------------------------------------------------------------- /cmake/FindSQLITE3.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/cmake/FindSQLITE3.cmake -------------------------------------------------------------------------------- /cmake/FindTBB.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/cmake/FindTBB.cmake -------------------------------------------------------------------------------- /cmake/FindValgrind.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/cmake/FindValgrind.cmake -------------------------------------------------------------------------------- /cmake/Findcargo.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/cmake/Findcargo.cmake -------------------------------------------------------------------------------- /cmake/Findrustc.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/cmake/Findrustc.cmake -------------------------------------------------------------------------------- /cmake/Findrustdoc.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/cmake/Findrustdoc.cmake -------------------------------------------------------------------------------- /cmake/GetGitRevisionDescription.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/cmake/GetGitRevisionDescription.cmake -------------------------------------------------------------------------------- /cmake/GetGitRevisionDescription.cmake.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/cmake/GetGitRevisionDescription.cmake.in -------------------------------------------------------------------------------- /cmake/Rust.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/cmake/Rust.cmake -------------------------------------------------------------------------------- /cmake/cmake_uninstall.cmake.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/cmake/cmake_uninstall.cmake.in -------------------------------------------------------------------------------- /cmsat_tablestructure.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/cmsat_tablestructure.sql -------------------------------------------------------------------------------- /cryptominisat5Config.cmake.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/cryptominisat5Config.cmake.in -------------------------------------------------------------------------------- /dist/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/dist/README.md -------------------------------------------------------------------------------- /docs/HOWTO_WEB: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/HOWTO_WEB -------------------------------------------------------------------------------- /docs/satcomp14-pdf/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp14-pdf/Makefile -------------------------------------------------------------------------------- /docs/satcomp14-pdf/cmsv4.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp14-pdf/cmsv4.tex -------------------------------------------------------------------------------- /docs/satcomp14-pdf/ieee.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp14-pdf/ieee.cls -------------------------------------------------------------------------------- /docs/satcomp14-pdf/sigproc.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp14-pdf/sigproc.bib -------------------------------------------------------------------------------- /docs/satcomp14-pdf/splncs03.bst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp14-pdf/splncs03.bst -------------------------------------------------------------------------------- /docs/satcomp15-pdf/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp15-pdf/Makefile -------------------------------------------------------------------------------- /docs/satcomp15-pdf/cmsv4.kilepr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp15-pdf/cmsv4.kilepr -------------------------------------------------------------------------------- /docs/satcomp15-pdf/cmsv4.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp15-pdf/cmsv4.tex -------------------------------------------------------------------------------- /docs/satcomp15-pdf/ieee.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp15-pdf/ieee.cls -------------------------------------------------------------------------------- /docs/satcomp15-pdf/sigproc.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp15-pdf/sigproc.bib -------------------------------------------------------------------------------- /docs/satcomp15-pdf/splncs03.bst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp15-pdf/splncs03.bst -------------------------------------------------------------------------------- /docs/satcomp16-pdf/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp16-pdf/Makefile -------------------------------------------------------------------------------- /docs/satcomp16-pdf/cmsv5.kilepr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp16-pdf/cmsv5.kilepr -------------------------------------------------------------------------------- /docs/satcomp16-pdf/cmsv5.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp16-pdf/cmsv5.tex -------------------------------------------------------------------------------- /docs/satcomp16-pdf/ieee.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp16-pdf/ieee.cls -------------------------------------------------------------------------------- /docs/satcomp16-pdf/sigproc.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp16-pdf/sigproc.bib -------------------------------------------------------------------------------- /docs/satcomp16-pdf/splncs03.bst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp16-pdf/splncs03.bst -------------------------------------------------------------------------------- /docs/satcomp18-pdf/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp18-pdf/Makefile -------------------------------------------------------------------------------- /docs/satcomp18-pdf/cmsv5.kilepr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp18-pdf/cmsv5.kilepr -------------------------------------------------------------------------------- /docs/satcomp18-pdf/cmsv55.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp18-pdf/cmsv55.tex -------------------------------------------------------------------------------- /docs/satcomp18-pdf/ieee.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp18-pdf/ieee.cls -------------------------------------------------------------------------------- /docs/satcomp18-pdf/sigproc.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp18-pdf/sigproc.bib -------------------------------------------------------------------------------- /docs/satcomp18-pdf/splncs03.bst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp18-pdf/splncs03.bst -------------------------------------------------------------------------------- /docs/satcomp20-pdf/ccanr/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp20-pdf/ccanr/Makefile -------------------------------------------------------------------------------- /docs/satcomp20-pdf/ccanr/cms-ccanr.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp20-pdf/ccanr/cms-ccanr.tex -------------------------------------------------------------------------------- /docs/satcomp20-pdf/ccanr/ieee.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp20-pdf/ccanr/ieee.cls -------------------------------------------------------------------------------- /docs/satcomp20-pdf/ccanr/sigproc.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp20-pdf/ccanr/sigproc.bib -------------------------------------------------------------------------------- /docs/satcomp20-pdf/ccanr/splncs03.bst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp20-pdf/ccanr/splncs03.bst -------------------------------------------------------------------------------- /docs/satcomp20-pdf/walksat/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp20-pdf/walksat/Makefile -------------------------------------------------------------------------------- /docs/satcomp20-pdf/walksat/cms-walksat.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp20-pdf/walksat/cms-walksat.tex -------------------------------------------------------------------------------- /docs/satcomp20-pdf/walksat/ieee.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp20-pdf/walksat/ieee.cls -------------------------------------------------------------------------------- /docs/satcomp20-pdf/walksat/sigproc.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp20-pdf/walksat/sigproc.bib -------------------------------------------------------------------------------- /docs/satcomp20-pdf/walksat/splncs03.bst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satcomp20-pdf/walksat/splncs03.bst -------------------------------------------------------------------------------- /docs/satrace19-pdf/walksat/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satrace19-pdf/walksat/Makefile -------------------------------------------------------------------------------- /docs/satrace19-pdf/walksat/cmsv56-walksat.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satrace19-pdf/walksat/cmsv56-walksat.tex -------------------------------------------------------------------------------- /docs/satrace19-pdf/walksat/ieee.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satrace19-pdf/walksat/ieee.cls -------------------------------------------------------------------------------- /docs/satrace19-pdf/walksat/sigproc.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satrace19-pdf/walksat/sigproc.bib -------------------------------------------------------------------------------- /docs/satrace19-pdf/walksat/splncs03.bst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satrace19-pdf/walksat/splncs03.bst -------------------------------------------------------------------------------- /docs/satrace19-pdf/yalsat/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satrace19-pdf/yalsat/Makefile -------------------------------------------------------------------------------- /docs/satrace19-pdf/yalsat/cmsv56-yalsat.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satrace19-pdf/yalsat/cmsv56-yalsat.tex -------------------------------------------------------------------------------- /docs/satrace19-pdf/yalsat/ieee.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satrace19-pdf/yalsat/ieee.cls -------------------------------------------------------------------------------- /docs/satrace19-pdf/yalsat/sigproc.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satrace19-pdf/yalsat/sigproc.bib -------------------------------------------------------------------------------- /docs/satrace19-pdf/yalsat/splncs03.bst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/docs/satrace19-pdf/yalsat/splncs03.bst -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/flake.nix -------------------------------------------------------------------------------- /html/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/html/index.html -------------------------------------------------------------------------------- /manpage-extras: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/manpage-extras -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/pyproject.toml -------------------------------------------------------------------------------- /python/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/python/LICENSE -------------------------------------------------------------------------------- /python/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/python/README.md -------------------------------------------------------------------------------- /python/src/GitSHA1.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/python/src/GitSHA1.cpp -------------------------------------------------------------------------------- /python/src/pycryptosat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/python/src/pycryptosat.cpp -------------------------------------------------------------------------------- /python/tests/__init__.py: -------------------------------------------------------------------------------- 1 | from .test_pycryptosat import * 2 | -------------------------------------------------------------------------------- /python/tests/f400-r425-x000.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/python/tests/f400-r425-x000.cnf -------------------------------------------------------------------------------- /python/tests/test.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/python/tests/test.cnf -------------------------------------------------------------------------------- /python/tests/test_pycryptosat.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/python/tests/test_pycryptosat.py -------------------------------------------------------------------------------- /scripts/bnn_create_random.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/bnn_create_random.py -------------------------------------------------------------------------------- /scripts/build_static_Windows_binary.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/build_static_Windows_binary.sh -------------------------------------------------------------------------------- /scripts/check_all_licenses.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/check_all_licenses.sh -------------------------------------------------------------------------------- /scripts/check_lpn_solution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/check_lpn_solution.py -------------------------------------------------------------------------------- /scripts/crystal/ballofcrystal.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/ballofcrystal.sh -------------------------------------------------------------------------------- /scripts/crystal/best_features-b93210018231ab04d2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/best_features-b93210018231ab04d2.txt -------------------------------------------------------------------------------- /scripts/crystal/best_features-correlation2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/best_features-correlation2.txt -------------------------------------------------------------------------------- /scripts/crystal/best_features-correlaton.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/best_features-correlaton.txt -------------------------------------------------------------------------------- /scripts/crystal/best_features-d6e51325f8046.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/best_features-d6e51325f8046.txt -------------------------------------------------------------------------------- /scripts/crystal/best_features-kissat.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/best_features-kissat.txt -------------------------------------------------------------------------------- /scripts/crystal/best_features-rdb0-only.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/best_features-rdb0-only.txt -------------------------------------------------------------------------------- /scripts/crystal/ccg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/ccg.py -------------------------------------------------------------------------------- /scripts/crystal/check_data_quality.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/check_data_quality.py -------------------------------------------------------------------------------- /scripts/crystal/cldata_gen_pandas.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/cldata_gen_pandas.py -------------------------------------------------------------------------------- /scripts/crystal/cldata_predict.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/cldata_predict.py -------------------------------------------------------------------------------- /scripts/crystal/clean_update_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/clean_update_data.py -------------------------------------------------------------------------------- /scripts/crystal/clustering.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/clustering.py -------------------------------------------------------------------------------- /scripts/crystal/concat_pandas.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/concat_pandas.py -------------------------------------------------------------------------------- /scripts/crystal/fill_used_clauses.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/fill_used_clauses.py -------------------------------------------------------------------------------- /scripts/crystal/fix_up_frat.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/fix_up_frat.py -------------------------------------------------------------------------------- /scripts/crystal/gen_best_feats.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/gen_best_feats.sh -------------------------------------------------------------------------------- /scripts/crystal/get_msqe.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/get_msqe.py -------------------------------------------------------------------------------- /scripts/crystal/helper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/helper.py -------------------------------------------------------------------------------- /scripts/crystal/learn-kissat.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/learn-kissat.sh -------------------------------------------------------------------------------- /scripts/crystal/learn.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/learn.sh -------------------------------------------------------------------------------- /scripts/crystal/ml_module.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/ml_module.py -------------------------------------------------------------------------------- /scripts/crystal/perc_sql_fixer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/perc_sql_fixer.py -------------------------------------------------------------------------------- /scripts/crystal/process_all_dats.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/process_all_dats.sh -------------------------------------------------------------------------------- /scripts/crystal/sample_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/sample_data.py -------------------------------------------------------------------------------- /scripts/crystal/setparams_ballofcrystal.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/setparams_ballofcrystal.sh -------------------------------------------------------------------------------- /scripts/crystal/vardata_gen_pandas.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/vardata_gen_pandas.py -------------------------------------------------------------------------------- /scripts/crystal/vardata_predict.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/crystal/vardata_predict.py -------------------------------------------------------------------------------- /scripts/drat-proof.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/drat-proof.py -------------------------------------------------------------------------------- /scripts/final_check.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/final_check.py -------------------------------------------------------------------------------- /scripts/fuzz/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/fuzz/CMakeLists.txt -------------------------------------------------------------------------------- /scripts/fuzz/clean_cnf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/fuzz/clean_cnf.py -------------------------------------------------------------------------------- /scripts/fuzz/debuglib.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/fuzz/debuglib.py -------------------------------------------------------------------------------- /scripts/fuzz/final_check.py: -------------------------------------------------------------------------------- 1 | ../final_check.py -------------------------------------------------------------------------------- /scripts/fuzz/fuzz_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/fuzz/fuzz_test.py -------------------------------------------------------------------------------- /scripts/fuzz/intersperse.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/fuzz/intersperse.py -------------------------------------------------------------------------------- /scripts/fuzz/shuffle.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/fuzz/shuffle.py -------------------------------------------------------------------------------- /scripts/fuzz/verifier.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/fuzz/verifier.py -------------------------------------------------------------------------------- /scripts/fuzz/verifier_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/fuzz/verifier_test.py -------------------------------------------------------------------------------- /scripts/fuzz/xor_to_cnf_class.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/fuzz/xor_to_cnf_class.py -------------------------------------------------------------------------------- /scripts/gen_xor_pb.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/gen_xor_pb.py -------------------------------------------------------------------------------- /scripts/lpn-gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/lpn-gen.py -------------------------------------------------------------------------------- /scripts/lpn-test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/lpn-test.sh -------------------------------------------------------------------------------- /scripts/output_parser/concat_files.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/output_parser/concat_files.py -------------------------------------------------------------------------------- /scripts/output_parser/convert_to_cactusplot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/output_parser/convert_to_cactusplot.py -------------------------------------------------------------------------------- /scripts/output_parser/create_solvetimes.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/output_parser/create_solvetimes.sh -------------------------------------------------------------------------------- /scripts/output_parser/helper.py: -------------------------------------------------------------------------------- 1 | ../crystal/helper.py -------------------------------------------------------------------------------- /scripts/output_parser/plotit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/output_parser/plotit -------------------------------------------------------------------------------- /scripts/output_parser/solved_with_options.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/output_parser/solved_with_options.sh -------------------------------------------------------------------------------- /scripts/output_parser/solvetimes_from_output.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/output_parser/solvetimes_from_output.sh -------------------------------------------------------------------------------- /scripts/output_parser/solvetimes_from_output_cadical.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/output_parser/solvetimes_from_output_cadical.sh -------------------------------------------------------------------------------- /scripts/output_parser/solvetimes_from_output_glucose.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/output_parser/solvetimes_from_output_glucose.sh -------------------------------------------------------------------------------- /scripts/output_parser/solvetimes_from_output_lingeling.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/output_parser/solvetimes_from_output_lingeling.sh -------------------------------------------------------------------------------- /scripts/output_parser/solvetimes_from_output_yalsat.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/output_parser/solvetimes_from_output_yalsat.sh -------------------------------------------------------------------------------- /scripts/output_parser/sqlite3_checks.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/output_parser/sqlite3_checks.py -------------------------------------------------------------------------------- /scripts/output_parser/update_concat_sqlite_files.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/output_parser/update_concat_sqlite_files.py -------------------------------------------------------------------------------- /scripts/prove.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/prove.sh -------------------------------------------------------------------------------- /scripts/reconf/count_plus_minus.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/reconf/count_plus_minus.sh -------------------------------------------------------------------------------- /scripts/reconf/generate_reconf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/reconf/generate_reconf.py -------------------------------------------------------------------------------- /scripts/reconf/reconf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/reconf/reconf.py -------------------------------------------------------------------------------- /scripts/reconf/tocpp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/reconf/tocpp.py -------------------------------------------------------------------------------- /scripts/speed-check/addclause.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/speed-check/addclause.py -------------------------------------------------------------------------------- /scripts/tbuddy_fuzzer.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/tbuddy_fuzzer.sh -------------------------------------------------------------------------------- /scripts/translate_opb.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/translate_opb.py -------------------------------------------------------------------------------- /scripts/xxd-alike.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/scripts/xxd-alike.py -------------------------------------------------------------------------------- /setup.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/setup.cfg -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/setup.py -------------------------------------------------------------------------------- /src/.color_coded: -------------------------------------------------------------------------------- 1 | -I../build/cmsat5-src/ 2 | -------------------------------------------------------------------------------- /src/.kdev_include_paths: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/.kdev_include_paths -------------------------------------------------------------------------------- /src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/CMakeLists.txt -------------------------------------------------------------------------------- /src/GitSHA1.cpp.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/GitSHA1.cpp.in -------------------------------------------------------------------------------- /src/GitSHA1.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/GitSHA1.h -------------------------------------------------------------------------------- /src/Vec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/Vec.h -------------------------------------------------------------------------------- /src/alg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/alg.h -------------------------------------------------------------------------------- /src/argparse.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/argparse.hpp -------------------------------------------------------------------------------- /src/avgcalc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/avgcalc.h -------------------------------------------------------------------------------- /src/backbone.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/backbone.cpp -------------------------------------------------------------------------------- /src/bitarray.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/bitarray.h -------------------------------------------------------------------------------- /src/boundedqueue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/boundedqueue.h -------------------------------------------------------------------------------- /src/cardfinder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/cardfinder.cpp -------------------------------------------------------------------------------- /src/cardfinder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/cardfinder.h -------------------------------------------------------------------------------- /src/ccnr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/ccnr.cpp -------------------------------------------------------------------------------- /src/ccnr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/ccnr.h -------------------------------------------------------------------------------- /src/ccnr_cms.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/ccnr_cms.cpp -------------------------------------------------------------------------------- /src/ccnr_cms.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/ccnr_cms.h -------------------------------------------------------------------------------- /src/ccnr_mersenne.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/ccnr_mersenne.h -------------------------------------------------------------------------------- /src/ccnr_oracle.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/ccnr_oracle.cpp -------------------------------------------------------------------------------- /src/ccnr_oracle.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/ccnr_oracle.h -------------------------------------------------------------------------------- /src/ccnr_oracle_pre.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/ccnr_oracle_pre.cpp -------------------------------------------------------------------------------- /src/ccnr_oracle_pre.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/ccnr_oracle_pre.h -------------------------------------------------------------------------------- /src/cl_predictors_abs.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/cl_predictors_abs.cpp -------------------------------------------------------------------------------- /src/cl_predictors_abs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/cl_predictors_abs.h -------------------------------------------------------------------------------- /src/cl_predictors_lgbm.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/cl_predictors_lgbm.cpp -------------------------------------------------------------------------------- /src/cl_predictors_lgbm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/cl_predictors_lgbm.h -------------------------------------------------------------------------------- /src/cl_predictors_py.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/cl_predictors_py.cpp -------------------------------------------------------------------------------- /src/cl_predictors_py.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/cl_predictors_py.h -------------------------------------------------------------------------------- /src/cl_predictors_xgb.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/cl_predictors_xgb.cpp -------------------------------------------------------------------------------- /src/cl_predictors_xgb.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/cl_predictors_xgb.h -------------------------------------------------------------------------------- /src/clabstraction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/clabstraction.h -------------------------------------------------------------------------------- /src/clause.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/clause.h -------------------------------------------------------------------------------- /src/clauseallocator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/clauseallocator.cpp -------------------------------------------------------------------------------- /src/clauseallocator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/clauseallocator.h -------------------------------------------------------------------------------- /src/clausecleaner.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/clausecleaner.cpp -------------------------------------------------------------------------------- /src/clausecleaner.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/clausecleaner.h -------------------------------------------------------------------------------- /src/cloffset.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/cloffset.h -------------------------------------------------------------------------------- /src/cms_breakid.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/cms_breakid.cpp -------------------------------------------------------------------------------- /src/cms_breakid.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/cms_breakid.h -------------------------------------------------------------------------------- /src/cms_windows_includes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/cms_windows_includes.h -------------------------------------------------------------------------------- /src/cnf.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/cnf.cpp -------------------------------------------------------------------------------- /src/cnf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/cnf.h -------------------------------------------------------------------------------- /src/community_finder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/community_finder.cpp -------------------------------------------------------------------------------- /src/community_finder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/community_finder.h -------------------------------------------------------------------------------- /src/completedetachreattacher.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/completedetachreattacher.cpp -------------------------------------------------------------------------------- /src/completedetachreattacher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/completedetachreattacher.h -------------------------------------------------------------------------------- /src/constants.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/constants.h -------------------------------------------------------------------------------- /src/cryptominisat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/cryptominisat.cpp -------------------------------------------------------------------------------- /src/cryptominisat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/cryptominisat.h -------------------------------------------------------------------------------- /src/cryptominisat_c.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/cryptominisat_c.cpp -------------------------------------------------------------------------------- /src/cryptominisat_c.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/cryptominisat_c.h -------------------------------------------------------------------------------- /src/cset.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/cset.h -------------------------------------------------------------------------------- /src/datasync.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/datasync.cpp -------------------------------------------------------------------------------- /src/datasync.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/datasync.h -------------------------------------------------------------------------------- /src/datasyncserver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/datasyncserver.cpp -------------------------------------------------------------------------------- /src/datasyncserver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/datasyncserver.h -------------------------------------------------------------------------------- /src/dimacsparser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/dimacsparser.h -------------------------------------------------------------------------------- /src/distillerbin.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/distillerbin.cpp -------------------------------------------------------------------------------- /src/distillerbin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/distillerbin.h -------------------------------------------------------------------------------- /src/distillerlitrem.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/distillerlitrem.cpp -------------------------------------------------------------------------------- /src/distillerlitrem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/distillerlitrem.h -------------------------------------------------------------------------------- /src/distillerlong.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/distillerlong.cpp -------------------------------------------------------------------------------- /src/distillerlong.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/distillerlong.h -------------------------------------------------------------------------------- /src/distillerlongwithimpl.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/distillerlongwithimpl.cpp -------------------------------------------------------------------------------- /src/distillerlongwithimpl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/distillerlongwithimpl.h -------------------------------------------------------------------------------- /src/frat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/frat.h -------------------------------------------------------------------------------- /src/fuzz.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/fuzz.cpp -------------------------------------------------------------------------------- /src/gatefinder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/gatefinder.cpp -------------------------------------------------------------------------------- /src/gatefinder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/gatefinder.h -------------------------------------------------------------------------------- /src/gaussian.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/gaussian.cpp -------------------------------------------------------------------------------- /src/gaussian.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/gaussian.h -------------------------------------------------------------------------------- /src/gausswatched.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/gausswatched.h -------------------------------------------------------------------------------- /src/get_clause_query.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/get_clause_query.cpp -------------------------------------------------------------------------------- /src/get_clause_query.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/get_clause_query.h -------------------------------------------------------------------------------- /src/gqueuedata.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/gqueuedata.h -------------------------------------------------------------------------------- /src/hasher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/hasher.h -------------------------------------------------------------------------------- /src/heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/heap.h -------------------------------------------------------------------------------- /src/hyperengine.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/hyperengine.cpp -------------------------------------------------------------------------------- /src/hyperengine.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/hyperengine.h -------------------------------------------------------------------------------- /src/idrup.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/idrup.h -------------------------------------------------------------------------------- /src/intree.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/intree.cpp -------------------------------------------------------------------------------- /src/intree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/intree.h -------------------------------------------------------------------------------- /src/ipasir.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/ipasir.cpp -------------------------------------------------------------------------------- /src/ipasir.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/ipasir.h -------------------------------------------------------------------------------- /src/lucky.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/lucky.cpp -------------------------------------------------------------------------------- /src/lucky.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/lucky.h -------------------------------------------------------------------------------- /src/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/main.cpp -------------------------------------------------------------------------------- /src/main.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/main.h -------------------------------------------------------------------------------- /src/main_common.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/main_common.cpp -------------------------------------------------------------------------------- /src/main_common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/main_common.h -------------------------------------------------------------------------------- /src/main_emscripten.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/main_emscripten.cpp -------------------------------------------------------------------------------- /src/main_exe.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/main_exe.cpp -------------------------------------------------------------------------------- /src/main_mpi.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/main_mpi.cpp -------------------------------------------------------------------------------- /src/matrixfinder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/matrixfinder.cpp -------------------------------------------------------------------------------- /src/matrixfinder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/matrixfinder.h -------------------------------------------------------------------------------- /src/mpicosat/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/mpicosat/LICENSE -------------------------------------------------------------------------------- /src/mpicosat/NEWS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/mpicosat/NEWS -------------------------------------------------------------------------------- /src/mpicosat/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/mpicosat/README -------------------------------------------------------------------------------- /src/mpicosat/mpico_config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/mpicosat/mpico_config.h -------------------------------------------------------------------------------- /src/mpicosat/mpicosat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/mpicosat/mpicosat.c -------------------------------------------------------------------------------- /src/mpicosat/mpicosat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/mpicosat/mpicosat.h -------------------------------------------------------------------------------- /src/mpicosat/version.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/mpicosat/version.c -------------------------------------------------------------------------------- /src/mystack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/mystack.h -------------------------------------------------------------------------------- /src/nomutex.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/nomutex.h -------------------------------------------------------------------------------- /src/occsimplifier.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/occsimplifier.cpp -------------------------------------------------------------------------------- /src/occsimplifier.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/occsimplifier.h -------------------------------------------------------------------------------- /src/oracle/oracle.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/oracle/oracle.cpp -------------------------------------------------------------------------------- /src/oracle/oracle.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/oracle/oracle.h -------------------------------------------------------------------------------- /src/oracle/utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/oracle/utils.h -------------------------------------------------------------------------------- /src/oracle_use.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/oracle_use.cpp -------------------------------------------------------------------------------- /src/packedmatrix.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/packedmatrix.h -------------------------------------------------------------------------------- /src/packedrow.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/packedrow.cpp -------------------------------------------------------------------------------- /src/packedrow.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/packedrow.h -------------------------------------------------------------------------------- /src/pre.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/pre.js -------------------------------------------------------------------------------- /src/predict_func_type.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/predict_func_type.h -------------------------------------------------------------------------------- /src/probe.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/probe.cpp -------------------------------------------------------------------------------- /src/propby.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/propby.h -------------------------------------------------------------------------------- /src/propby_backup.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/propby_backup.h -------------------------------------------------------------------------------- /src/propbyforgraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/propbyforgraph.h -------------------------------------------------------------------------------- /src/propengine.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/propengine.cpp -------------------------------------------------------------------------------- /src/propengine.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/propengine.h -------------------------------------------------------------------------------- /src/reducedb.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/reducedb.cpp -------------------------------------------------------------------------------- /src/reducedb.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/reducedb.h -------------------------------------------------------------------------------- /src/satzilla_features.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/satzilla_features.cpp -------------------------------------------------------------------------------- /src/satzilla_features.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/satzilla_features.h -------------------------------------------------------------------------------- /src/satzilla_features_calc.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/satzilla_features_calc.cpp -------------------------------------------------------------------------------- /src/satzilla_features_calc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/satzilla_features_calc.h -------------------------------------------------------------------------------- /src/sccfinder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/sccfinder.cpp -------------------------------------------------------------------------------- /src/sccfinder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/sccfinder.h -------------------------------------------------------------------------------- /src/searcher.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/searcher.cpp -------------------------------------------------------------------------------- /src/searcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/searcher.h -------------------------------------------------------------------------------- /src/searchhist.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/searchhist.h -------------------------------------------------------------------------------- /src/searchstats.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/searchstats.cpp -------------------------------------------------------------------------------- /src/searchstats.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/searchstats.h -------------------------------------------------------------------------------- /src/shareddata.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/shareddata.h -------------------------------------------------------------------------------- /src/signalcode.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/signalcode.cpp -------------------------------------------------------------------------------- /src/signalcode.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/signalcode.h -------------------------------------------------------------------------------- /src/sls.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/sls.cpp -------------------------------------------------------------------------------- /src/sls.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/sls.h -------------------------------------------------------------------------------- /src/solutionextender.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/solutionextender.cpp -------------------------------------------------------------------------------- /src/solutionextender.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/solutionextender.h -------------------------------------------------------------------------------- /src/solver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/solver.cpp -------------------------------------------------------------------------------- /src/solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/solver.h -------------------------------------------------------------------------------- /src/solverconf.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/solverconf.cpp -------------------------------------------------------------------------------- /src/solverconf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/solverconf.h -------------------------------------------------------------------------------- /src/solvertypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/solvertypes.h -------------------------------------------------------------------------------- /src/solvertypesmini.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/solvertypesmini.h -------------------------------------------------------------------------------- /src/sql_tablestructure.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/sql_tablestructure.h -------------------------------------------------------------------------------- /src/sqlitestats.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/sqlitestats.cpp -------------------------------------------------------------------------------- /src/sqlitestats.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/sqlitestats.h -------------------------------------------------------------------------------- /src/sqlstats.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/sqlstats.cpp -------------------------------------------------------------------------------- /src/sqlstats.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/sqlstats.h -------------------------------------------------------------------------------- /src/str_impl_w_impl.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/str_impl_w_impl.cpp -------------------------------------------------------------------------------- /src/str_impl_w_impl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/str_impl_w_impl.h -------------------------------------------------------------------------------- /src/streambuffer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/streambuffer.h -------------------------------------------------------------------------------- /src/subsumeimplicit.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/subsumeimplicit.cpp -------------------------------------------------------------------------------- /src/subsumeimplicit.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/subsumeimplicit.h -------------------------------------------------------------------------------- /src/subsumestrengthen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/subsumestrengthen.cpp -------------------------------------------------------------------------------- /src/subsumestrengthen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/subsumestrengthen.h -------------------------------------------------------------------------------- /src/time_mem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/time_mem.h -------------------------------------------------------------------------------- /src/touchlist.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/touchlist.h -------------------------------------------------------------------------------- /src/trim.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/trim.h -------------------------------------------------------------------------------- /src/vardata.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/vardata.h -------------------------------------------------------------------------------- /src/vardistgen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/vardistgen.cpp -------------------------------------------------------------------------------- /src/vardistgen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/vardistgen.h -------------------------------------------------------------------------------- /src/varreplacer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/varreplacer.cpp -------------------------------------------------------------------------------- /src/varreplacer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/varreplacer.h -------------------------------------------------------------------------------- /src/varupdatehelper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/varupdatehelper.h -------------------------------------------------------------------------------- /src/vmtf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/vmtf.h -------------------------------------------------------------------------------- /src/watchalgos.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/watchalgos.h -------------------------------------------------------------------------------- /src/watcharray.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/watcharray.h -------------------------------------------------------------------------------- /src/watched.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/watched.h -------------------------------------------------------------------------------- /src/xor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/xor.h -------------------------------------------------------------------------------- /src/xorfinder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/xorfinder.cpp -------------------------------------------------------------------------------- /src/xorfinder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/src/xorfinder.h -------------------------------------------------------------------------------- /tests/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/CMakeLists.txt -------------------------------------------------------------------------------- /tests/assump_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/assump_test.cpp -------------------------------------------------------------------------------- /tests/basic_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/basic_test.cpp -------------------------------------------------------------------------------- /tests/c_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/c_test.c -------------------------------------------------------------------------------- /tests/cardfinder_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/cardfinder_test.cpp -------------------------------------------------------------------------------- /tests/clause_alloc_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/clause_alloc_test.cpp -------------------------------------------------------------------------------- /tests/clause_cleaner_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/clause_cleaner_test.cpp -------------------------------------------------------------------------------- /tests/clause_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/clause_test.cpp -------------------------------------------------------------------------------- /tests/cnf-files/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/cnf-files/CMakeLists.txt -------------------------------------------------------------------------------- /tests/cnf-files/indep-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/cnf-files/indep-1.cnf -------------------------------------------------------------------------------- /tests/cnf-files/indep-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/cnf-files/indep-2.cnf -------------------------------------------------------------------------------- /tests/cnf-files/indep-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/cnf-files/indep-3.cnf -------------------------------------------------------------------------------- /tests/cnf-files/indep_vars.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/cnf-files/indep_vars.cnf -------------------------------------------------------------------------------- /tests/cnf-files/indep_vars_2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/cnf-files/indep_vars_2.cnf -------------------------------------------------------------------------------- /tests/cnf-files/lit.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/cnf-files/lit.cfg -------------------------------------------------------------------------------- /tests/cnf-files/lit.site.cfg.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/cnf-files/lit.site.cfg.in -------------------------------------------------------------------------------- /tests/cnf-files/simptest.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/cnf-files/simptest.cnf -------------------------------------------------------------------------------- /tests/cnf-files/simptest2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/cnf-files/simptest2.cnf -------------------------------------------------------------------------------- /tests/cnf-files/verbosity.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/cnf-files/verbosity.cnf -------------------------------------------------------------------------------- /tests/cnf-files/xor.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/cnf-files/xor.cnf -------------------------------------------------------------------------------- /tests/cnf-files/xor_longer.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/cnf-files/xor_longer.cnf -------------------------------------------------------------------------------- /tests/definability_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/definability_test.cpp -------------------------------------------------------------------------------- /tests/distill_klee.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/distill_klee.cpp -------------------------------------------------------------------------------- /tests/distill_long_with_implicit_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/distill_long_with_implicit_test.cpp -------------------------------------------------------------------------------- /tests/distiller_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/distiller_test.cpp -------------------------------------------------------------------------------- /tests/gate_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/gate_test.cpp -------------------------------------------------------------------------------- /tests/gatefinder_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/gatefinder_test.cpp -------------------------------------------------------------------------------- /tests/gauss_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/gauss_test.cpp -------------------------------------------------------------------------------- /tests/heap_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/heap_test.cpp -------------------------------------------------------------------------------- /tests/implied_by_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/implied_by_test.cpp -------------------------------------------------------------------------------- /tests/intree_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/intree_test.cpp -------------------------------------------------------------------------------- /tests/ipasir_example.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/ipasir_example.c -------------------------------------------------------------------------------- /tests/ipasir_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/ipasir_test.cpp -------------------------------------------------------------------------------- /tests/lucky_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/lucky_test.cpp -------------------------------------------------------------------------------- /tests/matrixfinder_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/matrixfinder_test.cpp -------------------------------------------------------------------------------- /tests/ml_perf_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/ml_perf_test.cpp -------------------------------------------------------------------------------- /tests/multisol_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/multisol_test.cpp -------------------------------------------------------------------------------- /tests/readme_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/readme_test.cpp -------------------------------------------------------------------------------- /tests/scc_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/scc_test.cpp -------------------------------------------------------------------------------- /tests/searcher_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/searcher_test.cpp -------------------------------------------------------------------------------- /tests/simp-checks/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/simp-checks/CMakeLists.txt -------------------------------------------------------------------------------- /tests/simp-checks/check_bve.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/simp-checks/check_bve.py -------------------------------------------------------------------------------- /tests/solver_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/solver_test.cpp -------------------------------------------------------------------------------- /tests/stp_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/stp_test.cpp -------------------------------------------------------------------------------- /tests/subsume_impl_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/subsume_impl_test.cpp -------------------------------------------------------------------------------- /tests/ternary_resolve_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/ternary_resolve_test.cpp -------------------------------------------------------------------------------- /tests/test_helper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/test_helper.h -------------------------------------------------------------------------------- /tests/vrepl_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/vrepl_test.cpp -------------------------------------------------------------------------------- /tests/xorfinder_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/tests/xorfinder_test.cpp -------------------------------------------------------------------------------- /utils/config/crypt4-params.pcs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/utils/config/crypt4-params.pcs -------------------------------------------------------------------------------- /utils/minimal_cms/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/utils/minimal_cms/CMakeLists.txt -------------------------------------------------------------------------------- /utils/minimal_cms/minimal_cms.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msoos/cryptominisat/HEAD/utils/minimal_cms/minimal_cms.cpp --------------------------------------------------------------------------------