LICENSE
MANIFEST.in
README.rst
setup.py
cryptominisat5/cryptominisat.h
cryptominisat5/cryptominisat_c.h
cryptominisat5/solvertypesmini.h
pycryptosat.egg-info/PKG-INFO
pycryptosat.egg-info/SOURCES.txt
pycryptosat.egg-info/dependency_links.txt
pycryptosat.egg-info/top_level.txt
src/GitSHA1.cpp
src/GitSHA1.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/clabstraction.h
src/clause.h
src/clauseallocator.cpp
src/clauseallocator.h
src/clausecleaner.cpp
src/clausecleaner.h
src/clausedumper.cpp
src/clausedumper.h
src/clauseusagestats.cpp
src/clauseusagestats.h
src/cloffset.h
src/cnf.cpp
src/cnf.h
src/compfinder.cpp
src/compfinder.h
src/comphandler.cpp
src/comphandler.h
src/completedetachreattacher.cpp
src/completedetachreattacher.h
src/constants.h
src/cryptominisat.cpp
src/cryptominisat_c.cpp
src/cset.h
src/datasync.cpp
src/datasync.h
src/dimacsparser.h
src/distillerallwithall.cpp
src/distillerallwithall.h
src/distillerlongwithimpl.cpp
src/distillerlongwithimpl.h
src/drat.h
src/features_calc.cpp
src/features_calc.h
src/features_to_reconf.cpp
src/features_to_reconf.h
src/fuzz.cpp
src/gatefinder.cpp
src/gatefinder.h
src/gaussconfig.h
src/gaussian.cpp
src/gaussian.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/ipasir.cpp
src/ipasir.h
src/main.cpp
src/main.h
src/main_common.h
src/main_exe.cpp
src/main_simple.cpp
src/matrixfinder.cpp
src/matrixfinder.h
src/minisat_rnd.h
src/mystack.h
src/nomutex.h
src/occsimplifier.cpp
src/occsimplifier.h
src/packedmatrix.h
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/pycryptosat.cpp
src/reducedb.cpp
src/reducedb.h
src/scalmc.cpp
src/scalmc.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.cpp
src/signalcode.h
src/simplefile.h
src/solutionextender.cpp
src/solutionextender.h
src/solvefeatures.cpp
src/solvefeatures.h
src/solver.cpp
src/solver.h
src/solverconf.cpp
src/solverconf.h
src/solvertypes.h
src/sql_tablestructure.h
src/sqlitestats.cpp
src/sqlitestats.h
src/sqlstats.cpp
src/sqlstats.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/toplevelgauss.cpp
src/toplevelgauss.h
src/toplevelgaussabst.h
src/touchlist.h
src/trim.h
src/unigen.cpp
src/vardata.h
src/varreplacer.cpp
src/varreplacer.h
src/varupdatehelper.h
src/watchalgos.h
src/watcharray.h
src/watcharray_handrolled.cpp
src/watcharray_handrolled.h
src/watched.h
src/watched_backup.h
src/xor.h
src/xorfinder.cpp
src/xorfinder.h
tests/__init__.py
tests/test_pycryptosat.py