AUTHORS
LICENSE.txt
pyproject.toml
setup.cfg
setup.py
python/src/GitSHA1.cpp
python/src/pycryptosat.cpp
src/GitSHA1.h
src/MersenneTwister.h
src/Vec.h
src/XAlloc.h
src/alg.h
src/avgcalc.h
src/bitarray.h
src/boundedqueue.h
src/bva.cpp
src/bva.h
src/cardfinder.cpp
src/cardfinder.h
src/ccnr.cpp
src/ccnr.h
src/ccnr_cms.cpp
src/ccnr_cms.h
src/ccnr_mersenne.h
src/cl_predictors_abs.h
src/cl_predictors_lgbm.h
src/cl_predictors_py.h
src/cl_predictors_xgb.h
src/clabstraction.h
src/clause.h
src/clauseallocator.cpp
src/clauseallocator.h
src/clausecleaner.cpp
src/clausecleaner.h
src/cloffset.h
src/cms_bosphorus.h
src/cms_breakid.h
src/cnf.cpp
src/cnf.h
src/community_finder.h
src/completedetachreattacher.cpp
src/completedetachreattacher.h
src/constants.h
src/cryptominisat.cpp
src/cryptominisat.h
src/cryptominisat_c.cpp
src/cryptominisat_c.h
src/cset.h
src/datasync.cpp
src/datasync.h
src/datasyncserver.h
src/dimacsparser.h
src/distillerbin.cpp
src/distillerbin.h
src/distillerlitrem.cpp
src/distillerlitrem.h
src/distillerlong.cpp
src/distillerlong.h
src/distillerlongwithimpl.cpp
src/distillerlongwithimpl.h
src/frat.cpp
src/frat.h
src/gatefinder.cpp
src/gatefinder.h
src/gaussian.cpp
src/gaussian.h
src/gausswatched.h
src/get_clause_query.cpp
src/get_clause_query.h
src/gqueuedata.h
src/hasher.h
src/heap.h
src/hyperengine.cpp
src/hyperengine.h
src/intree.cpp
src/intree.h
src/ipasir.h
src/lucky.cpp
src/lucky.h
src/main.h
src/main_common.h
src/matrixfinder.cpp
src/matrixfinder.h
src/mystack.h
src/nomutex.h
src/occsimplifier.cpp
src/occsimplifier.h
src/packedmatrix.h
src/packedrow.cpp
src/packedrow.h
src/popcnt.h
src/predict_func_type.h
src/propby.h
src/propby_backup.h
src/propbyforgraph.h
src/propengine.cpp
src/propengine.h
src/reducedb.cpp
src/reducedb.h
src/satzilla_features.h
src/satzilla_features_calc.h
src/sccfinder.cpp
src/sccfinder.h
src/searcher.cpp
src/searcher.h
src/searchhist.h
src/searchstats.cpp
src/searchstats.h
src/shareddata.h
src/signalcode.h
src/simplefile.h
src/sls.cpp
src/sls.h
src/solutionextender.cpp
src/solutionextender.h
src/solver.cpp
src/solver.h
src/solverconf.cpp
src/solverconf.h
src/solvertypes.h
src/solvertypesmini.h
src/sql_tablestructure.h
src/sqlitestats.h
src/sqlstats.h
src/str_impl_w_impl.cpp
src/str_impl_w_impl.h
src/streambuffer.h
src/subsumeimplicit.cpp
src/subsumeimplicit.h
src/subsumestrengthen.cpp
src/subsumestrengthen.h
src/time_mem.h
src/toplevelgauss.h
src/toplevelgaussabst.h
src/touchlist.h
src/trim.h
src/vardata.h
src/vardistgen.h
src/varreplacer.cpp
src/varreplacer.h
src/varupdatehelper.h
src/vmtf.h
src/watchalgos.h
src/watcharray.h
src/watcharray_handrolled.h
src/watched.h
src/xor.h
src/xorfinder.cpp
src/xorfinder.h
src/msvc/stdint.h
src/oracle/bitset.hpp
src/oracle/oracle.cpp
src/oracle/oracle.hpp
src/oracle/utils.hpp
src/picosat/config.h
src/picosat/picogcnf.c
src/picosat/picomcs.c
src/picosat/picomus.c
src/picosat/picosat.c
src/picosat/picosat.h
src/picosat/version.c
src/pycryptosat.egg-info/PKG-INFO