LICENSE
MANIFEST.in
README.md
VERSION
pyproject.toml
setup.py
kissat_sovereign.egg-info/PKG-INFO
kissat_sovereign.egg-info/SOURCES.txt
kissat_sovereign.egg-info/dependency_links.txt
kissat_sovereign.egg-info/entry_points.txt
kissat_sovereign.egg-info/top_level.txt
sovereign_pkg/__init__.py
sovereign_pkg/engine.py
sovereign_pkg/kissat
src_bundle/VERSION
src_bundle/allocate.c
src_bundle/allocate.h
src_bundle/analyze.c
src_bundle/analyze.h
src_bundle/ands.c
src_bundle/ands.h
src_bundle/application.c
src_bundle/application.h
src_bundle/arena.c
src_bundle/arena.h
src_bundle/array.h
src_bundle/assign.c
src_bundle/assign.h
src_bundle/attribute.h
src_bundle/averages.c
src_bundle/averages.h
src_bundle/backbone.c
src_bundle/backbone.h
src_bundle/backtrack.c
src_bundle/backtrack.h
src_bundle/banner.c
src_bundle/banner.h
src_bundle/build.c
src_bundle/build.h
src_bundle/bump.c
src_bundle/bump.h
src_bundle/check.c
src_bundle/check.h
src_bundle/classify.c
src_bundle/classify.h
src_bundle/clause.c
src_bundle/clause.h
src_bundle/collect.c
src_bundle/collect.h
src_bundle/colors.c
src_bundle/colors.h
src_bundle/compact.c
src_bundle/compact.h
src_bundle/config.c
src_bundle/config.h
src_bundle/configure
src_bundle/congruence.c
src_bundle/congruence.h
src_bundle/cover.h
src_bundle/ctt_engine.c
src_bundle/decide.c
src_bundle/decide.h
src_bundle/deduce.c
src_bundle/deduce.h
src_bundle/definition.c
src_bundle/definition.h
src_bundle/dense.c
src_bundle/dense.h
src_bundle/dump.c
src_bundle/eliminate.c
src_bundle/eliminate.h
src_bundle/equivalences.c
src_bundle/equivalences.h
src_bundle/error.c
src_bundle/error.h
src_bundle/extend.c
src_bundle/extend.h
src_bundle/factor.c
src_bundle/factor.h
src_bundle/fastassign.h
src_bundle/fastel.c
src_bundle/fastel.h
src_bundle/fifo.h
src_bundle/file.c
src_bundle/file.h
src_bundle/flags.c
src_bundle/flags.h
src_bundle/format.c
src_bundle/format.h
src_bundle/forward.c
src_bundle/forward.h
src_bundle/frames.h
src_bundle/gates.c
src_bundle/gates.h
src_bundle/handle.c
src_bundle/handle.h
src_bundle/heap.c
src_bundle/heap.h
src_bundle/ifthenelse.c
src_bundle/ifthenelse.h
src_bundle/import.c
src_bundle/import.h
src_bundle/inline.h
src_bundle/inlineassign.h
src_bundle/inlineframes.h
src_bundle/inlineheap.h
src_bundle/inlinequeue.h
src_bundle/inlinevector.h
src_bundle/internal.c
src_bundle/internal.h
src_bundle/keatures.h
src_bundle/kimits.c
src_bundle/kimits.h
src_bundle/kissat.h
src_bundle/kitten.c
src_bundle/kitten.h
src_bundle/krite.c
src_bundle/krite.h
src_bundle/learn.c
src_bundle/learn.h
src_bundle/literal.h
src_bundle/logging.c
src_bundle/logging.h
src_bundle/lucky.c
src_bundle/lucky.h
src_bundle/main.c
src_bundle/makefile
src_bundle/makefile.in
src_bundle/minimize.c
src_bundle/minimize.h
src_bundle/mode.c
src_bundle/mode.h
src_bundle/options.c
src_bundle/options.h
src_bundle/parse.c
src_bundle/parse.h
src_bundle/phases.c
src_bundle/phases.h
src_bundle/preprocess.c
src_bundle/preprocess.h
src_bundle/print.c
src_bundle/print.h
src_bundle/probe.c
src_bundle/probe.h
src_bundle/profile.c
src_bundle/profile.h
src_bundle/promote.c
src_bundle/promote.h
src_bundle/proof.c
src_bundle/proof.h
src_bundle/propbeyond.c
src_bundle/propbeyond.h
src_bundle/propdense.c
src_bundle/propdense.h
src_bundle/propinitially.c
src_bundle/propinitially.h
src_bundle/proplit.h
src_bundle/proprobe.c
src_bundle/proprobe.h
src_bundle/propsearch.c
src_bundle/propsearch.h
src_bundle/queue.c
src_bundle/queue.h
src_bundle/random.h
src_bundle/rank.h
src_bundle/reduce.c
src_bundle/reduce.h
src_bundle/reference.h
src_bundle/reluctant.c
src_bundle/reluctant.h
src_bundle/reorder.c
src_bundle/reorder.h
src_bundle/rephase.c
src_bundle/rephase.h
src_bundle/report.c
src_bundle/report.h
src_bundle/require.h
src_bundle/resize.c
src_bundle/resize.h
src_bundle/resolve.c
src_bundle/resolve.h
src_bundle/resources.c
src_bundle/resources.h
src_bundle/restart.c
src_bundle/restart.h
src_bundle/search.c
src_bundle/search.h
src_bundle/shrink.c
src_bundle/shrink.h
src_bundle/smooth.c
src_bundle/smooth.h
src_bundle/sort.c
src_bundle/sort.h
src_bundle/sovereign.c
src_bundle/sovereign.h
src_bundle/stack.h
src_bundle/statistics.c
src_bundle/statistics.h
src_bundle/strengthen.c
src_bundle/strengthen.h
src_bundle/substitute.c
src_bundle/substitute.h
src_bundle/sweep.c
src_bundle/sweep.h
src_bundle/terminate.c
src_bundle/terminate.h
src_bundle/tiers.c
src_bundle/tiers.h
src_bundle/trail.c
src_bundle/trail.h
src_bundle/transitive.c
src_bundle/transitive.h
src_bundle/utilities.c
src_bundle/utilities.h
src_bundle/value.h
src_bundle/vector.c
src_bundle/vector.h
src_bundle/vivify.c
src_bundle/vivify.h
src_bundle/walk.c
src_bundle/walk.h
src_bundle/warmup.c
src_bundle/warmup.h
src_bundle/watch.c
src_bundle/watch.h
src_bundle/weaken.c
src_bundle/weaken.h
src_bundle/witness.c
src_bundle/witness.h