AUTHORS
LICENSE.txt
pyproject.toml
setup.cfg
setup.py
python/README.md
python/src/GitSHA1.cpp
python/src/pycmsgen.cpp
src/GitSHA1.h
src/Vec.h
src/XAlloc.h
src/alg.h
src/argparse.hpp
src/avgcalc.h
src/bitarray.h
src/boundedqueue.h
src/clabstraction.h
src/clause.h
src/clauseallocator.cpp
src/clauseallocator.h
src/clausecleaner.cpp
src/clausecleaner.h
src/clauseusagestats.cpp
src/clauseusagestats.h
src/cloffset.h
src/cms_windows_includes.h
src/cmsgen.cpp
src/cmsgen.h
src/cnf.cpp
src/cnf.h
src/completedetachreattacher.cpp
src/completedetachreattacher.h
src/constants.h
src/cset.h
src/dimacsparser.h
src/distillerlong.cpp
src/distillerlong.h
src/distillerlongwithimpl.cpp
src/distillerlongwithimpl.h
src/drat.h
src/gaussian.cpp
src/gaussian.h
src/gausswatched.h
src/gqueuedata.h
src/hasher.h
src/heap.h
src/hyperengine.cpp
src/hyperengine.h
src/implcache.cpp
src/implcache.h
src/intree.cpp
src/intree.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/prober.cpp
src/prober.h
src/propby.h
src/propby_backup.h
src/propbyforgraph.h
src/propengine.cpp
src/propengine.h
src/reducedb.cpp
src/reducedb.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/solutionextender.cpp
src/solutionextender.h
src/solver.cpp
src/solver.h
src/solverconf.cpp
src/solverconf.h
src/solvertypes.h
src/solvertypesmini.h
src/stamp.cpp
src/stamp.h
src/str_impl_w_impl_stamp.cpp
src/str_impl_w_impl_stamp.h
src/streambuffer.h
src/subsumeimplicit.cpp
src/subsumeimplicit.h
src/subsumestrengthen.cpp
src/subsumestrengthen.h
src/time_mem.h
src/touchlist.h
src/trim.h
src/vardata.h
src/varreplacer.cpp
src/varreplacer.h
src/varupdatehelper.h
src/watchalgos.h
src/watcharray.h
src/watched.h
src/watched_backup.h
src/xor.h
src/xorfinder.cpp
src/xorfinder.h
src/msvc/stdint.h
src/pycmsgen.egg-info/PKG-INFO