LICENSE
MANIFEST.in
Makefile
README.md
pyproject.toml
setup.py
aperture/VERSION
aperture/__init__.py
aperture/__init__.pyi
aperture/__version__.py
aperture/_aperture.pyi
aperture/py.typed
aperture/_core/PyPerture.cc
aperture/_core/PyTypes.h
aperture/_core/PythonWrapper.cc
aperture/_core/PythonWrapper.h
aperture/docs/PYTHONAPI.md
aperture_solver.egg-info/PKG-INFO
aperture_solver.egg-info/SOURCES.txt
aperture_solver.egg-info/dependency_links.txt
aperture_solver.egg-info/top_level.txt
external/fmt/args.h
external/fmt/base.h
external/fmt/chrono.h
external/fmt/color.h
external/fmt/compile.h
external/fmt/core.h
external/fmt/format-inl.h
external/fmt/format.h
external/fmt/os.h
external/fmt/ostream.h
external/fmt/printf.h
external/fmt/ranges.h
external/fmt/std.h
external/fmt/xchar.h
external/solvers/AE_kissat2025_MAB/.clang-format
external/solvers/AE_kissat2025_MAB/.gitignore
external/solvers/AE_kissat2025_MAB/CONTRIBUTING
external/solvers/AE_kissat2025_MAB/LICENSE
external/solvers/AE_kissat2025_MAB/NEWS.md
external/solvers/AE_kissat2025_MAB/README.md
external/solvers/AE_kissat2025_MAB/VERSION
external/solvers/AE_kissat2025_MAB/build.sh
external/solvers/AE_kissat2025_MAB/configure
external/solvers/AE_kissat2025_MAB/makefile.in
external/solvers/AE_kissat2025_MAB/run.sh
external/solvers/AE_kissat2025_MAB/build_pic/kissat
external/solvers/AE_kissat2025_MAB/build_pic/makefile
external/solvers/AE_kissat2025_MAB/scripts/build-and-test-all-configurations.sh
external/solvers/AE_kissat2025_MAB/scripts/determine-coverage.sh
external/solvers/AE_kissat2025_MAB/scripts/filter-coverage-output.sh
external/solvers/AE_kissat2025_MAB/scripts/generate-build-header.sh
external/solvers/AE_kissat2025_MAB/scripts/make-source-release.sh
external/solvers/AE_kissat2025_MAB/scripts/prepare-competition.sh
external/solvers/AE_kissat2025_MAB/src/allocate.c
external/solvers/AE_kissat2025_MAB/src/allocate.h
external/solvers/AE_kissat2025_MAB/src/analyze.c
external/solvers/AE_kissat2025_MAB/src/analyze.h
external/solvers/AE_kissat2025_MAB/src/ands.c
external/solvers/AE_kissat2025_MAB/src/ands.h
external/solvers/AE_kissat2025_MAB/src/application.c
external/solvers/AE_kissat2025_MAB/src/application.h
external/solvers/AE_kissat2025_MAB/src/arena.c
external/solvers/AE_kissat2025_MAB/src/arena.h
external/solvers/AE_kissat2025_MAB/src/array.h
external/solvers/AE_kissat2025_MAB/src/assign.c
external/solvers/AE_kissat2025_MAB/src/assign.h
external/solvers/AE_kissat2025_MAB/src/attribute.h
external/solvers/AE_kissat2025_MAB/src/averages.c
external/solvers/AE_kissat2025_MAB/src/averages.h
external/solvers/AE_kissat2025_MAB/src/backbone.c
external/solvers/AE_kissat2025_MAB/src/backbone.h
external/solvers/AE_kissat2025_MAB/src/backtrack.c
external/solvers/AE_kissat2025_MAB/src/backtrack.h
external/solvers/AE_kissat2025_MAB/src/build.c
external/solvers/AE_kissat2025_MAB/src/bump.c
external/solvers/AE_kissat2025_MAB/src/bump.h
external/solvers/AE_kissat2025_MAB/src/check.c
external/solvers/AE_kissat2025_MAB/src/check.h
external/solvers/AE_kissat2025_MAB/src/classify.c
external/solvers/AE_kissat2025_MAB/src/classify.h
external/solvers/AE_kissat2025_MAB/src/clause.c
external/solvers/AE_kissat2025_MAB/src/clause.h
external/solvers/AE_kissat2025_MAB/src/collect.c
external/solvers/AE_kissat2025_MAB/src/collect.h
external/solvers/AE_kissat2025_MAB/src/colors.c
external/solvers/AE_kissat2025_MAB/src/colors.h
external/solvers/AE_kissat2025_MAB/src/compact.c
external/solvers/AE_kissat2025_MAB/src/compact.h
external/solvers/AE_kissat2025_MAB/src/config.c
external/solvers/AE_kissat2025_MAB/src/config.h
external/solvers/AE_kissat2025_MAB/src/configure
external/solvers/AE_kissat2025_MAB/src/congruence.c
external/solvers/AE_kissat2025_MAB/src/congruence.h
external/solvers/AE_kissat2025_MAB/src/cover.h
external/solvers/AE_kissat2025_MAB/src/decide.c
external/solvers/AE_kissat2025_MAB/src/decide.h
external/solvers/AE_kissat2025_MAB/src/deduce.c
external/solvers/AE_kissat2025_MAB/src/deduce.h
external/solvers/AE_kissat2025_MAB/src/definition.c
external/solvers/AE_kissat2025_MAB/src/definition.h
external/solvers/AE_kissat2025_MAB/src/dense.c
external/solvers/AE_kissat2025_MAB/src/dense.h
external/solvers/AE_kissat2025_MAB/src/dump.c
external/solvers/AE_kissat2025_MAB/src/eliminate.c
external/solvers/AE_kissat2025_MAB/src/eliminate.h
external/solvers/AE_kissat2025_MAB/src/equivalences.c
external/solvers/AE_kissat2025_MAB/src/equivalences.h
external/solvers/AE_kissat2025_MAB/src/error.c
external/solvers/AE_kissat2025_MAB/src/error.h
external/solvers/AE_kissat2025_MAB/src/extend.c
external/solvers/AE_kissat2025_MAB/src/extend.h
external/solvers/AE_kissat2025_MAB/src/factor.c
external/solvers/AE_kissat2025_MAB/src/factor.h
external/solvers/AE_kissat2025_MAB/src/fastassign.h
external/solvers/AE_kissat2025_MAB/src/fastel.c
external/solvers/AE_kissat2025_MAB/src/fastel.h
external/solvers/AE_kissat2025_MAB/src/fifo.h
external/solvers/AE_kissat2025_MAB/src/file.c
external/solvers/AE_kissat2025_MAB/src/file.h
external/solvers/AE_kissat2025_MAB/src/flags.c
external/solvers/AE_kissat2025_MAB/src/flags.h
external/solvers/AE_kissat2025_MAB/src/format.c
external/solvers/AE_kissat2025_MAB/src/format.h
external/solvers/AE_kissat2025_MAB/src/forward.c
external/solvers/AE_kissat2025_MAB/src/forward.h
external/solvers/AE_kissat2025_MAB/src/frames.h
external/solvers/AE_kissat2025_MAB/src/gates.c
external/solvers/AE_kissat2025_MAB/src/gates.h
external/solvers/AE_kissat2025_MAB/src/handle.c
external/solvers/AE_kissat2025_MAB/src/handle.h
external/solvers/AE_kissat2025_MAB/src/heap.c
external/solvers/AE_kissat2025_MAB/src/heap.h
external/solvers/AE_kissat2025_MAB/src/ifthenelse.c
external/solvers/AE_kissat2025_MAB/src/ifthenelse.h
external/solvers/AE_kissat2025_MAB/src/import.c
external/solvers/AE_kissat2025_MAB/src/import.h
external/solvers/AE_kissat2025_MAB/src/inline.h
external/solvers/AE_kissat2025_MAB/src/inlineassign.h
external/solvers/AE_kissat2025_MAB/src/inlineframes.h
external/solvers/AE_kissat2025_MAB/src/inlineheap.h
external/solvers/AE_kissat2025_MAB/src/inlinequeue.h
external/solvers/AE_kissat2025_MAB/src/inlinevector.h
external/solvers/AE_kissat2025_MAB/src/internal.c
external/solvers/AE_kissat2025_MAB/src/internal.h
external/solvers/AE_kissat2025_MAB/src/keatures.h
external/solvers/AE_kissat2025_MAB/src/kimits.c
external/solvers/AE_kissat2025_MAB/src/kimits.h
external/solvers/AE_kissat2025_MAB/src/kissat.h
external/solvers/AE_kissat2025_MAB/src/kitten.c
external/solvers/AE_kissat2025_MAB/src/kitten.h
external/solvers/AE_kissat2025_MAB/src/krite.c
external/solvers/AE_kissat2025_MAB/src/krite.h
external/solvers/AE_kissat2025_MAB/src/learn.c
external/solvers/AE_kissat2025_MAB/src/learn.h
external/solvers/AE_kissat2025_MAB/src/literal.h
external/solvers/AE_kissat2025_MAB/src/logging.c
external/solvers/AE_kissat2025_MAB/src/logging.h
external/solvers/AE_kissat2025_MAB/src/lucky.c
external/solvers/AE_kissat2025_MAB/src/lucky.h
external/solvers/AE_kissat2025_MAB/src/main.c
external/solvers/AE_kissat2025_MAB/src/minimize.c
external/solvers/AE_kissat2025_MAB/src/minimize.h
external/solvers/AE_kissat2025_MAB/src/mode.c
external/solvers/AE_kissat2025_MAB/src/mode.h
external/solvers/AE_kissat2025_MAB/src/options.c
external/solvers/AE_kissat2025_MAB/src/options.h
external/solvers/AE_kissat2025_MAB/src/parse.c
external/solvers/AE_kissat2025_MAB/src/parse.h
external/solvers/AE_kissat2025_MAB/src/phases.c
external/solvers/AE_kissat2025_MAB/src/phases.h
external/solvers/AE_kissat2025_MAB/src/polarities.c
external/solvers/AE_kissat2025_MAB/src/polarities.h
external/solvers/AE_kissat2025_MAB/src/preprocess.c
external/solvers/AE_kissat2025_MAB/src/preprocess.h
external/solvers/AE_kissat2025_MAB/src/print.c
external/solvers/AE_kissat2025_MAB/src/print.h
external/solvers/AE_kissat2025_MAB/src/probe.c
external/solvers/AE_kissat2025_MAB/src/probe.h
external/solvers/AE_kissat2025_MAB/src/profile.c
external/solvers/AE_kissat2025_MAB/src/profile.h
external/solvers/AE_kissat2025_MAB/src/promote.c
external/solvers/AE_kissat2025_MAB/src/promote.h
external/solvers/AE_kissat2025_MAB/src/proof.c
external/solvers/AE_kissat2025_MAB/src/proof.h
external/solvers/AE_kissat2025_MAB/src/propbeyond.c
external/solvers/AE_kissat2025_MAB/src/propbeyond.h
external/solvers/AE_kissat2025_MAB/src/propdense.c
external/solvers/AE_kissat2025_MAB/src/propdense.h
external/solvers/AE_kissat2025_MAB/src/propinitially.c
external/solvers/AE_kissat2025_MAB/src/propinitially.h
external/solvers/AE_kissat2025_MAB/src/proplit.h
external/solvers/AE_kissat2025_MAB/src/proprobe.c
external/solvers/AE_kissat2025_MAB/src/proprobe.h
external/solvers/AE_kissat2025_MAB/src/propsearch.c
external/solvers/AE_kissat2025_MAB/src/propsearch.h
external/solvers/AE_kissat2025_MAB/src/queue.c
external/solvers/AE_kissat2025_MAB/src/queue.h
external/solvers/AE_kissat2025_MAB/src/random.h
external/solvers/AE_kissat2025_MAB/src/rank.h
external/solvers/AE_kissat2025_MAB/src/reduce.c
external/solvers/AE_kissat2025_MAB/src/reduce.h
external/solvers/AE_kissat2025_MAB/src/reference.h
external/solvers/AE_kissat2025_MAB/src/reluctant.c
external/solvers/AE_kissat2025_MAB/src/reluctant.h
external/solvers/AE_kissat2025_MAB/src/reorder.c
external/solvers/AE_kissat2025_MAB/src/reorder.h
external/solvers/AE_kissat2025_MAB/src/rephase.c
external/solvers/AE_kissat2025_MAB/src/rephase.h
external/solvers/AE_kissat2025_MAB/src/report.c
external/solvers/AE_kissat2025_MAB/src/report.h
external/solvers/AE_kissat2025_MAB/src/require.h
external/solvers/AE_kissat2025_MAB/src/resize.c
external/solvers/AE_kissat2025_MAB/src/resize.h
external/solvers/AE_kissat2025_MAB/src/resolve.c
external/solvers/AE_kissat2025_MAB/src/resolve.h
external/solvers/AE_kissat2025_MAB/src/resources.c
external/solvers/AE_kissat2025_MAB/src/resources.h
external/solvers/AE_kissat2025_MAB/src/restart.c
external/solvers/AE_kissat2025_MAB/src/restart.h
external/solvers/AE_kissat2025_MAB/src/search.c
external/solvers/AE_kissat2025_MAB/src/search.h
external/solvers/AE_kissat2025_MAB/src/shrink.c
external/solvers/AE_kissat2025_MAB/src/shrink.h
external/solvers/AE_kissat2025_MAB/src/smooth.c
external/solvers/AE_kissat2025_MAB/src/smooth.h
external/solvers/AE_kissat2025_MAB/src/sort.c
external/solvers/AE_kissat2025_MAB/src/sort.h
external/solvers/AE_kissat2025_MAB/src/stack.c
external/solvers/AE_kissat2025_MAB/src/stack.h
external/solvers/AE_kissat2025_MAB/src/statistics.c
external/solvers/AE_kissat2025_MAB/src/statistics.h
external/solvers/AE_kissat2025_MAB/src/strengthen.c
external/solvers/AE_kissat2025_MAB/src/strengthen.h
external/solvers/AE_kissat2025_MAB/src/substitute.c
external/solvers/AE_kissat2025_MAB/src/substitute.h
external/solvers/AE_kissat2025_MAB/src/sweep.c
external/solvers/AE_kissat2025_MAB/src/sweep.h
external/solvers/AE_kissat2025_MAB/src/terminate.c
external/solvers/AE_kissat2025_MAB/src/terminate.h
external/solvers/AE_kissat2025_MAB/src/tiers.c
external/solvers/AE_kissat2025_MAB/src/tiers.h
external/solvers/AE_kissat2025_MAB/src/trail.c
external/solvers/AE_kissat2025_MAB/src/trail.h
external/solvers/AE_kissat2025_MAB/src/transitive.c
external/solvers/AE_kissat2025_MAB/src/transitive.h
external/solvers/AE_kissat2025_MAB/src/utilities.c
external/solvers/AE_kissat2025_MAB/src/utilities.h
external/solvers/AE_kissat2025_MAB/src/value.h
external/solvers/AE_kissat2025_MAB/src/vector.c
external/solvers/AE_kissat2025_MAB/src/vector.h
external/solvers/AE_kissat2025_MAB/src/vivify.c
external/solvers/AE_kissat2025_MAB/src/vivify.h
external/solvers/AE_kissat2025_MAB/src/walk.c
external/solvers/AE_kissat2025_MAB/src/walk.h
external/solvers/AE_kissat2025_MAB/src/warmup.c
external/solvers/AE_kissat2025_MAB/src/warmup.h
external/solvers/AE_kissat2025_MAB/src/watch.c
external/solvers/AE_kissat2025_MAB/src/watch.h
external/solvers/AE_kissat2025_MAB/src/weaken.c
external/solvers/AE_kissat2025_MAB/src/weaken.h
external/solvers/AE_kissat2025_MAB/src/witness.c
external/solvers/AE_kissat2025_MAB/src/witness.h
external/solvers/AE_kissat2025_MAB/test/configure
external/solvers/AE_kissat2025_MAB/test/test.c
external/solvers/AE_kissat2025_MAB/test/test.h
external/solvers/AE_kissat2025_MAB/test/testadd.c
external/solvers/AE_kissat2025_MAB/test/testallocate.c
external/solvers/AE_kissat2025_MAB/test/testapplication.c
external/solvers/AE_kissat2025_MAB/test/testapplication.h
external/solvers/AE_kissat2025_MAB/test/testarena.c
external/solvers/AE_kissat2025_MAB/test/testarray.c
external/solvers/AE_kissat2025_MAB/test/testbump.c
external/solvers/AE_kissat2025_MAB/test/testceil.c
external/solvers/AE_kissat2025_MAB/test/testcnfs.h
external/solvers/AE_kissat2025_MAB/test/testcollect.c
external/solvers/AE_kissat2025_MAB/test/testconfig.c
external/solvers/AE_kissat2025_MAB/test/testcoverage.c
external/solvers/AE_kissat2025_MAB/test/testdivert.c
external/solvers/AE_kissat2025_MAB/test/testdivert.h
external/solvers/AE_kissat2025_MAB/test/testdump.c
external/solvers/AE_kissat2025_MAB/test/testendianness.c
external/solvers/AE_kissat2025_MAB/test/testerror.c
external/solvers/AE_kissat2025_MAB/test/testfifo.c
external/solvers/AE_kissat2025_MAB/test/testfile.c
external/solvers/AE_kissat2025_MAB/test/testformat.c
external/solvers/AE_kissat2025_MAB/test/testheap.c
external/solvers/AE_kissat2025_MAB/test/testinit.c
external/solvers/AE_kissat2025_MAB/test/testkitten.c
external/solvers/AE_kissat2025_MAB/test/testmain.c
external/solvers/AE_kissat2025_MAB/test/testmessages.c
external/solvers/AE_kissat2025_MAB/test/testmessages.h
external/solvers/AE_kissat2025_MAB/test/testoptions.c
external/solvers/AE_kissat2025_MAB/test/testparse.c
external/solvers/AE_kissat2025_MAB/test/testprove.c
external/solvers/AE_kissat2025_MAB/test/testqueue.c
external/solvers/AE_kissat2025_MAB/test/testrandom.c
external/solvers/AE_kissat2025_MAB/test/testrank.c
external/solvers/AE_kissat2025_MAB/test/testreferences.c
external/solvers/AE_kissat2025_MAB/test/testreluctant.c
external/solvers/AE_kissat2025_MAB/test/testscheduler.c
external/solvers/AE_kissat2025_MAB/test/testscheduler.h
external/solvers/AE_kissat2025_MAB/test/testsizes.c
external/solvers/AE_kissat2025_MAB/test/testsolve.c
external/solvers/AE_kissat2025_MAB/test/testsort.c
external/solvers/AE_kissat2025_MAB/test/teststack.c
external/solvers/AE_kissat2025_MAB/test/testterminate.c
external/solvers/AE_kissat2025_MAB/test/testusage.c
external/solvers/AE_kissat2025_MAB/test/testutilities.c
external/solvers/AE_kissat2025_MAB/test/testvector.c
external/solvers/AE_kissat2025_MAB/test/big/.gitignore
external/solvers/AE_kissat2025_MAB/test/big/genbigand.c
external/solvers/AE_kissat2025_MAB/test/cnf/add128.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/add16.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/add32.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/add4.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/add64.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/add8.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/and1.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/and2.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/and3.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/bin1.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/bin2.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/bin3.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/congr1.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/congr2.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/congr3.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/congr4.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/congr5.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/congr6.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/congr7.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/def1.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/diamond1.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/diamond2.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/diamond3.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/eq1.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/eq2.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/eq3.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/factor1.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/factor2.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/factor3.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/factor4.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/factor5.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/false.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/full2.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/full3.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/full4.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/hard.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite0.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite1.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite10.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite11.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite12.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite13.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite14.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite15.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite16.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite17.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite18.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite19.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite2.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite20.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite21.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite22.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite23.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite24.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite25.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite26.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite27.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite28.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite29.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite3.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite30.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite31.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite32.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite33.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite34.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite4.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite5.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite6.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite7.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite8.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ite9.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/miter1.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ph11.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ph2.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ph3.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ph4.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ph5.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/ph6.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/prime121.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/prime1369.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/prime1681.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/prime169.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/prime1849.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/prime2209.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/prime25.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/prime289.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/prime361.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/prime4.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/prime4294967297.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/prime49.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/prime529.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/prime65537.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/prime841.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/prime9.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/prime961.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/probe1.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/sqrt10201.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/sqrt1042441.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/sqrt10609.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/sqrt11449.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/sqrt11881.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/sqrt12769.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/sqrt16129.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/sqrt259081.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/sqrt2809.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/sqrt3481.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/sqrt3721.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/sqrt4489.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/sqrt5041.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/sqrt5329.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/sqrt6241.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/sqrt63001.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/sqrt6889.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/sqrt7921.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/sqrt9409.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/strash1.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/strash2.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/strash3.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/tieshirt.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/tph6.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/true.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/twocores1.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/twocores2.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/twocores3.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/unit1.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/unit2.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/unit3.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/unit4.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/unit5.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/unit6.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/xor0.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/xor1.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/xor2.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/xor3.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/xor4.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/xor5.cnf
external/solvers/AE_kissat2025_MAB/test/cnf/xor6.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0000.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0001.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0002.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0003.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0004.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0005.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0006.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0007.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0009.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0010.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0011.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0012.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0013.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0014.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0015.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0016.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0017.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0018.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0019.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0020.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0021.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0022.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0023.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0024.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0025.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0026.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0027.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0028.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0029.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0030.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0031.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0032.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0033.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0034.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0035.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0036.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0037.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0038.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0039.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0040.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0041.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0042.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0043.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0044.cnf
external/solvers/AE_kissat2025_MAB/test/cover/cover0045.cnf
external/solvers/AE_kissat2025_MAB/test/file/0
external/solvers/AE_kissat2025_MAB/test/file/1.bz2
external/solvers/AE_kissat2025_MAB/test/file/2.gz
external/solvers/AE_kissat2025_MAB/test/file/3.lzma
external/solvers/AE_kissat2025_MAB/test/file/4.7z
external/solvers/AE_kissat2025_MAB/test/file/5.xz
external/solvers/AE_kissat2025_MAB/test/file/uncompressed.7z
external/solvers/AE_kissat2025_MAB/test/file/uncompressed.bz2
external/solvers/AE_kissat2025_MAB/test/file/uncompressed.gz
external/solvers/AE_kissat2025_MAB/test/file/uncompressed.lzma
external/solvers/AE_kissat2025_MAB/test/file/uncompressed.xz
external/solvers/AE_kissat2025_MAB/test/file/writable
external/solvers/AE_kissat2025_MAB/test/parse/anainsteadoflit
external/solvers/AE_kissat2025_MAB/test/parse/comments
external/solvers/AE_kissat2025_MAB/test/parse/crnl
external/solvers/AE_kissat2025_MAB/test/parse/crnlfile
external/solvers/AE_kissat2025_MAB/test/parse/embeddedcoverage
external/solvers/AE_kissat2025_MAB/test/parse/embeddedcrmissingnl
external/solvers/AE_kissat2025_MAB/test/parse/embeddednegative
external/solvers/AE_kissat2025_MAB/test/parse/embeddedoptiocrnl
external/solvers/AE_kissat2025_MAB/test/parse/embeddedoptionametoolong
external/solvers/AE_kissat2025_MAB/test/parse/embeddedoptioneqmissing
external/solvers/AE_kissat2025_MAB/test/parse/emptyfile
external/solvers/AE_kissat2025_MAB/test/parse/emptyheadercrnl
external/solvers/AE_kissat2025_MAB/test/parse/emptyheaderline
external/solvers/AE_kissat2025_MAB/test/parse/emptyline
external/solvers/AE_kissat2025_MAB/test/parse/eofafterlit
external/solvers/AE_kissat2025_MAB/test/parse/eofafterlitcomment
external/solvers/AE_kissat2025_MAB/test/parse/eofafterzero
external/solvers/AE_kissat2025_MAB/test/parse/eofbeforeheader
external/solvers/AE_kissat2025_MAB/test/parse/eofbodycomment
external/solvers/AE_kissat2025_MAB/test/parse/eofheadercomment
external/solvers/AE_kissat2025_MAB/test/parse/eofinclauses
external/solvers/AE_kissat2025_MAB/test/parse/eofincommmentafterliteral
external/solvers/AE_kissat2025_MAB/test/parse/eofinheaderafterc
external/solvers/AE_kissat2025_MAB/test/parse/eofinmaxvar
external/solvers/AE_kissat2025_MAB/test/parse/headerspaces
external/solvers/AE_kissat2025_MAB/test/parse/invalidembeddedoption
external/solvers/AE_kissat2025_MAB/test/parse/nlafterp
external/solvers/AE_kissat2025_MAB/test/parse/nlaftersign
external/solvers/AE_kissat2025_MAB/test/parse/nlaftervars
external/solvers/AE_kissat2025_MAB/test/parse/nocafterpspace
external/solvers/AE_kissat2025_MAB/test/parse/nocnorp
external/solvers/AE_kissat2025_MAB/test/parse/nodigitafterpcnfspace
external/solvers/AE_kissat2025_MAB/test/parse/nodigitaftersign
external/solvers/AE_kissat2025_MAB/test/parse/nodigitaftervarsnspace
external/solvers/AE_kissat2025_MAB/test/parse/nofaftern
external/solvers/AE_kissat2025_MAB/test/parse/nonafterc
external/solvers/AE_kissat2025_MAB/test/parse/nonlaftercrafterheaderline
external/solvers/AE_kissat2025_MAB/test/parse/nonlaftercrafterheadliner
external/solvers/AE_kissat2025_MAB/test/parse/nonlaftercrafterlit
external/solvers/AE_kissat2025_MAB/test/parse/nonlaftercrinbody
external/solvers/AE_kissat2025_MAB/test/parse/nonlafterheaderline
external/solvers/AE_kissat2025_MAB/test/parse/nonlafterinvalidembeddedoption
external/solvers/AE_kissat2025_MAB/test/parse/nospaceafterf
external/solvers/AE_kissat2025_MAB/test/parse/nospaceafterp
external/solvers/AE_kissat2025_MAB/test/parse/nospaceaftervars
external/solvers/AE_kissat2025_MAB/test/parse/notrailingzero
external/solvers/AE_kissat2025_MAB/test/parse/nowsafterlit
external/solvers/AE_kissat2025_MAB/test/parse/oneclausemissing
external/solvers/AE_kissat2025_MAB/test/parse/onlycomments
external/solvers/AE_kissat2025_MAB/test/parse/onlycr
external/solvers/AE_kissat2025_MAB/test/parse/onlycraftervars
external/solvers/AE_kissat2025_MAB/test/parse/othercharafterheaderline
external/solvers/AE_kissat2025_MAB/test/parse/signedunit
external/solvers/AE_kissat2025_MAB/test/parse/signeof
external/solvers/AE_kissat2025_MAB/test/parse/tabs
external/solvers/AE_kissat2025_MAB/test/parse/toolargeclauses1
external/solvers/AE_kissat2025_MAB/test/parse/toolargeclauses2
external/solvers/AE_kissat2025_MAB/test/parse/toolargevars1
external/solvers/AE_kissat2025_MAB/test/parse/toolargevars2
external/solvers/AE_kissat2025_MAB/test/parse/toomanyclauses
external/solvers/AE_kissat2025_MAB/test/parse/twoclausesmissing
external/solvers/AE_kissat2025_MAB/test/parse/varidxexceeded
external/solvers/AE_kissat2025_MAB/test/parse/varidxtoolarge1
external/solvers/AE_kissat2025_MAB/test/parse/varidxtoolarge2
external/solvers/AE_kissat2025_MAB/test/parse/zeroaftersign
external/solvers/cadical/.clang-format
external/solvers/cadical/.dockerignore
external/solvers/cadical/.gitignore
external/solvers/cadical/BUILD.md
external/solvers/cadical/CONTRIBUTING.md
external/solvers/cadical/Dockerfile
external/solvers/cadical/LICENSE
external/solvers/cadical/NEWS.md
external/solvers/cadical/README.md
external/solvers/cadical/VERSION
external/solvers/cadical/configure
external/solvers/cadical/makefile.in
external/solvers/cadical/build/configure-have-closefrom.cpp
external/solvers/cadical/build/configure-have-closefrom.exe
external/solvers/cadical/build/configure-have-flexible-array-members.cpp
external/solvers/cadical/build/configure-have-flexible-array-members.exe
external/solvers/cadical/build/configure-have-unlocked-io.cpp
external/solvers/cadical/build/configure-have-unlocked-io.exe
external/solvers/cadical/build/configure-have-unlocked-io.log
external/solvers/cadical/build/configure-hello-world.cpp
external/solvers/cadical/build/configure-hello-world.exe
external/solvers/cadical/build/configure-requires-c++11.cpp
external/solvers/cadical/build/configure-requires-c++11.exe
external/solvers/cadical/build/configure.log
external/solvers/cadical/build_pic/build.hpp
external/solvers/cadical/build_pic/cadical
external/solvers/cadical/build_pic/configure-have-closefrom.cpp
external/solvers/cadical/build_pic/configure-have-closefrom.exe
external/solvers/cadical/build_pic/configure-have-flexible-array-members.cpp
external/solvers/cadical/build_pic/configure-have-flexible-array-members.exe
external/solvers/cadical/build_pic/configure-have-unlocked-io.cpp
external/solvers/cadical/build_pic/configure-have-unlocked-io.exe
external/solvers/cadical/build_pic/configure-have-unlocked-io.log
external/solvers/cadical/build_pic/configure-hello-world.cpp
external/solvers/cadical/build_pic/configure-hello-world.exe
external/solvers/cadical/build_pic/configure-requires-c++11.cpp
external/solvers/cadical/build_pic/configure-requires-c++11.exe
external/solvers/cadical/build_pic/configure.log
external/solvers/cadical/build_pic/makefile
external/solvers/cadical/build_pic/mobical
external/solvers/cadical/contrib/craigtracer.LICENSE.APACHE
external/solvers/cadical/contrib/craigtracer.LICENSE.MIT
external/solvers/cadical/contrib/craigtracer.cpp
external/solvers/cadical/contrib/craigtracer.hpp
external/solvers/cadical/contrib/craigtracer.md
external/solvers/cadical/scripts/README.md
external/solvers/cadical/scripts/build-and-test-all-configurations.sh
external/solvers/cadical/scripts/check-options-occur.sh
external/solvers/cadical/scripts/colors.sh
external/solvers/cadical/scripts/extend-solution.sh
external/solvers/cadical/scripts/generate-cubes.sh
external/solvers/cadical/scripts/generate-embedded-options-default-list.sh
external/solvers/cadical/scripts/generate-options-range-list.sh
external/solvers/cadical/scripts/get-git-id.sh
external/solvers/cadical/scripts/make-build-header.sh
external/solvers/cadical/scripts/make-src-release.sh
external/solvers/cadical/scripts/normalize-white-space.sh
external/solvers/cadical/scripts/prepare-sc2021-submission.sh
external/solvers/cadical/scripts/run-cadical-and-check-proof.sh
external/solvers/cadical/scripts/run-simplifier-and-extend-solution.sh
external/solvers/cadical/scripts/update-example-in-cadical-header-file.sh
external/solvers/cadical/scripts/update-version.sh
external/solvers/cadical/src/README.md
external/solvers/cadical/src/analyze.cpp
external/solvers/cadical/src/arena.cpp
external/solvers/cadical/src/arena.hpp
external/solvers/cadical/src/assume.cpp
external/solvers/cadical/src/averages.cpp
external/solvers/cadical/src/averages.hpp
external/solvers/cadical/src/backbone.cpp
external/solvers/cadical/src/backtrack.cpp
external/solvers/cadical/src/backward.cpp
external/solvers/cadical/src/bins.cpp
external/solvers/cadical/src/bins.hpp
external/solvers/cadical/src/block.cpp
external/solvers/cadical/src/block.hpp
external/solvers/cadical/src/cadical.cpp
external/solvers/cadical/src/cadical.hpp
external/solvers/cadical/src/ccadical.cpp
external/solvers/cadical/src/ccadical.h
external/solvers/cadical/src/checker.cpp
external/solvers/cadical/src/checker.hpp
external/solvers/cadical/src/clause.cpp
external/solvers/cadical/src/clause.hpp
external/solvers/cadical/src/collect.cpp
external/solvers/cadical/src/compact.cpp
external/solvers/cadical/src/condition.cpp
external/solvers/cadical/src/config.cpp
external/solvers/cadical/src/config.hpp
external/solvers/cadical/src/configure
external/solvers/cadical/src/congruence.cpp
external/solvers/cadical/src/congruence.hpp
external/solvers/cadical/src/constrain.cpp
external/solvers/cadical/src/contract.cpp
external/solvers/cadical/src/contract.hpp
external/solvers/cadical/src/cover.cpp
external/solvers/cadical/src/cover.hpp
external/solvers/cadical/src/decide.cpp
external/solvers/cadical/src/decompose.cpp
external/solvers/cadical/src/decompose.hpp
external/solvers/cadical/src/deduplicate.cpp
external/solvers/cadical/src/definition.cpp
external/solvers/cadical/src/delay.hpp
external/solvers/cadical/src/drattracer.cpp
external/solvers/cadical/src/drattracer.hpp
external/solvers/cadical/src/elim.cpp
external/solvers/cadical/src/elim.hpp
external/solvers/cadical/src/elimfast.cpp
external/solvers/cadical/src/ema.cpp
external/solvers/cadical/src/ema.hpp
external/solvers/cadical/src/extend.cpp
external/solvers/cadical/src/external.cpp
external/solvers/cadical/src/external.hpp
external/solvers/cadical/src/external_propagate.cpp
external/solvers/cadical/src/factor.cpp
external/solvers/cadical/src/factor.hpp
external/solvers/cadical/src/file.cpp
external/solvers/cadical/src/file.hpp
external/solvers/cadical/src/flags.cpp
external/solvers/cadical/src/flags.hpp
external/solvers/cadical/src/flip.cpp
external/solvers/cadical/src/format.cpp
external/solvers/cadical/src/format.hpp
external/solvers/cadical/src/frattracer.cpp
external/solvers/cadical/src/frattracer.hpp
external/solvers/cadical/src/gates.cpp
external/solvers/cadical/src/heap.hpp
external/solvers/cadical/src/idruptracer.cpp
external/solvers/cadical/src/idruptracer.hpp
external/solvers/cadical/src/instantiate.cpp
external/solvers/cadical/src/instantiate.hpp
external/solvers/cadical/src/internal.cpp
external/solvers/cadical/src/internal.hpp
external/solvers/cadical/src/inttypes.hpp
external/solvers/cadical/src/ipasir.cpp
external/solvers/cadical/src/ipasir.h
external/solvers/cadical/src/kitten.c
external/solvers/cadical/src/kitten.h
external/solvers/cadical/src/kitten_prefix.h
external/solvers/cadical/src/level.hpp
external/solvers/cadical/src/lidruptracer.cpp
external/solvers/cadical/src/lidruptracer.hpp
external/solvers/cadical/src/limit.cpp
external/solvers/cadical/src/limit.hpp
external/solvers/cadical/src/logging.cpp
external/solvers/cadical/src/logging.hpp
external/solvers/cadical/src/lookahead.cpp
external/solvers/cadical/src/lratchecker.cpp
external/solvers/cadical/src/lratchecker.hpp
external/solvers/cadical/src/lrattracer.cpp
external/solvers/cadical/src/lrattracer.hpp
external/solvers/cadical/src/lucky.cpp
external/solvers/cadical/src/message.cpp
external/solvers/cadical/src/message.hpp
external/solvers/cadical/src/minimize.cpp
external/solvers/cadical/src/mobical.cpp
external/solvers/cadical/src/occs.cpp
external/solvers/cadical/src/occs.hpp
external/solvers/cadical/src/options.cpp
external/solvers/cadical/src/options.hpp
external/solvers/cadical/src/parse.cpp
external/solvers/cadical/src/parse.hpp
external/solvers/cadical/src/phases.cpp
external/solvers/cadical/src/phases.hpp
external/solvers/cadical/src/probe.cpp
external/solvers/cadical/src/profile.cpp
external/solvers/cadical/src/profile.hpp
external/solvers/cadical/src/proof.cpp
external/solvers/cadical/src/proof.hpp
external/solvers/cadical/src/propagate.cpp
external/solvers/cadical/src/queue.cpp
external/solvers/cadical/src/queue.hpp
external/solvers/cadical/src/radix.hpp
external/solvers/cadical/src/random.cpp
external/solvers/cadical/src/random.h
external/solvers/cadical/src/random.hpp
external/solvers/cadical/src/range.hpp
external/solvers/cadical/src/reap.cpp
external/solvers/cadical/src/reap.hpp
external/solvers/cadical/src/reduce.cpp
external/solvers/cadical/src/reluctant.hpp
external/solvers/cadical/src/rephase.cpp
external/solvers/cadical/src/report.cpp
external/solvers/cadical/src/resources.cpp
external/solvers/cadical/src/resources.hpp
external/solvers/cadical/src/restart.cpp
external/solvers/cadical/src/restore.cpp
external/solvers/cadical/src/score.cpp
external/solvers/cadical/src/score.hpp
external/solvers/cadical/src/shrink.cpp
external/solvers/cadical/src/signal.cpp
external/solvers/cadical/src/signal.hpp
external/solvers/cadical/src/solution.cpp
external/solvers/cadical/src/solver.cpp
external/solvers/cadical/src/stable.cpp
external/solvers/cadical/src/stack.h
external/solvers/cadical/src/stats.cpp
external/solvers/cadical/src/stats.hpp
external/solvers/cadical/src/subsume.cpp
external/solvers/cadical/src/sweep.cpp
external/solvers/cadical/src/sweep.hpp
external/solvers/cadical/src/terminal.cpp
external/solvers/cadical/src/terminal.hpp
external/solvers/cadical/src/ternary.cpp
external/solvers/cadical/src/testing.hpp
external/solvers/cadical/src/tier.cpp
external/solvers/cadical/src/tracer.hpp
external/solvers/cadical/src/transred.cpp
external/solvers/cadical/src/unstable.cpp
external/solvers/cadical/src/util.cpp
external/solvers/cadical/src/util.hpp
external/solvers/cadical/src/var.cpp
external/solvers/cadical/src/var.hpp
external/solvers/cadical/src/veripbtracer.cpp
external/solvers/cadical/src/veripbtracer.hpp
external/solvers/cadical/src/version.cpp
external/solvers/cadical/src/version.hpp
external/solvers/cadical/src/vivify.cpp
external/solvers/cadical/src/vivify.hpp
external/solvers/cadical/src/walk.cpp
external/solvers/cadical/src/walk.hpp
external/solvers/cadical/src/walk_full_occs.cpp
external/solvers/cadical/src/warmup.cpp
external/solvers/cadical/src/watch.cpp
external/solvers/cadical/src/watch.hpp
external/solvers/cadical/test/README.md
external/solvers/cadical/test/api/README.md
external/solvers/cadical/test/api/apitrace.cpp
external/solvers/cadical/test/api/cfreeze.c
external/solvers/cadical/test/api/cipasir.c
external/solvers/cadical/test/api/ctest.c
external/solvers/cadical/test/api/example.cpp
external/solvers/cadical/test/api/example_constraint.cpp
external/solvers/cadical/test/api/example_declare_one_more_variable.cpp
external/solvers/cadical/test/api/example_tracer.cpp
external/solvers/cadical/test/api/incproof.cpp
external/solvers/cadical/test/api/learn.cpp
external/solvers/cadical/test/api/morenmore.cpp
external/solvers/cadical/test/api/newdelete.cpp
external/solvers/cadical/test/api/parcompwrite.cpp
external/solvers/cadical/test/api/propagate_assumptions.cpp
external/solvers/cadical/test/api/run.sh
external/solvers/cadical/test/api/terminate.cpp
external/solvers/cadical/test/api/traverse.cpp
external/solvers/cadical/test/api/unit.cpp
external/solvers/cadical/test/cnf/README.md
external/solvers/cadical/test/cnf/add128.cnf
external/solvers/cadical/test/cnf/add16.cnf
external/solvers/cadical/test/cnf/add32.cnf
external/solvers/cadical/test/cnf/add4.cnf
external/solvers/cadical/test/cnf/add64.cnf
external/solvers/cadical/test/cnf/add8.cnf
external/solvers/cadical/test/cnf/block0.cnf
external/solvers/cadical/test/cnf/dimocheck.c
external/solvers/cadical/test/cnf/drat-trim.c
external/solvers/cadical/test/cnf/elimclash.cnf
external/solvers/cadical/test/cnf/elimredundant.cnf
external/solvers/cadical/test/cnf/empty.cnf
external/solvers/cadical/test/cnf/empty.sol
external/solvers/cadical/test/cnf/factor2708413neg.cnf
external/solvers/cadical/test/cnf/factor2708413pos.cnf
external/solvers/cadical/test/cnf/false.cnf
external/solvers/cadical/test/cnf/full1.cnf
external/solvers/cadical/test/cnf/full2.cnf
external/solvers/cadical/test/cnf/full3.cnf
external/solvers/cadical/test/cnf/full4.cnf
external/solvers/cadical/test/cnf/full5.cnf
external/solvers/cadical/test/cnf/full6.cnf
external/solvers/cadical/test/cnf/full7.cnf
external/solvers/cadical/test/cnf/lrat-trim.c
external/solvers/cadical/test/cnf/ph2.cnf
external/solvers/cadical/test/cnf/ph3.cnf
external/solvers/cadical/test/cnf/ph4.cnf
external/solvers/cadical/test/cnf/ph5.cnf
external/solvers/cadical/test/cnf/ph6.cnf
external/solvers/cadical/test/cnf/prime121.cnf
external/solvers/cadical/test/cnf/prime121.sol
external/solvers/cadical/test/cnf/prime1369.cnf
external/solvers/cadical/test/cnf/prime1369.sol
external/solvers/cadical/test/cnf/prime1681.cnf
external/solvers/cadical/test/cnf/prime1681.sol
external/solvers/cadical/test/cnf/prime169.cnf
external/solvers/cadical/test/cnf/prime169.sol
external/solvers/cadical/test/cnf/prime1849.cnf
external/solvers/cadical/test/cnf/prime1849.sol
external/solvers/cadical/test/cnf/prime2209.cnf
external/solvers/cadical/test/cnf/prime2209.sol
external/solvers/cadical/test/cnf/prime25.cnf
external/solvers/cadical/test/cnf/prime25.sol
external/solvers/cadical/test/cnf/prime289.cnf
external/solvers/cadical/test/cnf/prime289.sol
external/solvers/cadical/test/cnf/prime361.cnf
external/solvers/cadical/test/cnf/prime361.sol
external/solvers/cadical/test/cnf/prime4.cnf
external/solvers/cadical/test/cnf/prime4.sol
external/solvers/cadical/test/cnf/prime4294967297.cnf
external/solvers/cadical/test/cnf/prime49.cnf
external/solvers/cadical/test/cnf/prime49.sol
external/solvers/cadical/test/cnf/prime529.cnf
external/solvers/cadical/test/cnf/prime529.sol
external/solvers/cadical/test/cnf/prime65537.cnf
external/solvers/cadical/test/cnf/prime841.cnf
external/solvers/cadical/test/cnf/prime841.sol
external/solvers/cadical/test/cnf/prime9.cnf
external/solvers/cadical/test/cnf/prime9.sol
external/solvers/cadical/test/cnf/prime961.cnf
external/solvers/cadical/test/cnf/prime961.sol
external/solvers/cadical/test/cnf/regr000.cnf
external/solvers/cadical/test/cnf/regr000.sol
external/solvers/cadical/test/cnf/run.sh
external/solvers/cadical/test/cnf/sat0.cnf
external/solvers/cadical/test/cnf/sat1.cnf
external/solvers/cadical/test/cnf/sat1.sol
external/solvers/cadical/test/cnf/sat10.cnf
external/solvers/cadical/test/cnf/sat10.sol
external/solvers/cadical/test/cnf/sat11.cnf
external/solvers/cadical/test/cnf/sat11.sol
external/solvers/cadical/test/cnf/sat12.cnf
external/solvers/cadical/test/cnf/sat12.sol
external/solvers/cadical/test/cnf/sat13.cnf
external/solvers/cadical/test/cnf/sat13.sol
external/solvers/cadical/test/cnf/sat2.cnf
external/solvers/cadical/test/cnf/sat2.sol
external/solvers/cadical/test/cnf/sat3.cnf
external/solvers/cadical/test/cnf/sat3.sol
external/solvers/cadical/test/cnf/sat4.cnf
external/solvers/cadical/test/cnf/sat4.sol
external/solvers/cadical/test/cnf/sat5.cnf
external/solvers/cadical/test/cnf/sat6.cnf
external/solvers/cadical/test/cnf/sat6.sol
external/solvers/cadical/test/cnf/sat7.cnf
external/solvers/cadical/test/cnf/sat7.sol
external/solvers/cadical/test/cnf/sat8.cnf
external/solvers/cadical/test/cnf/sat8.sol
external/solvers/cadical/test/cnf/sat9.cnf
external/solvers/cadical/test/cnf/sat9.sol
external/solvers/cadical/test/cnf/sqrt10201.cnf
external/solvers/cadical/test/cnf/sqrt10201.sol
external/solvers/cadical/test/cnf/sqrt1042441.cnf
external/solvers/cadical/test/cnf/sqrt1042441.sol
external/solvers/cadical/test/cnf/sqrt10609.cnf
external/solvers/cadical/test/cnf/sqrt10609.sol
external/solvers/cadical/test/cnf/sqrt11449.cnf
external/solvers/cadical/test/cnf/sqrt11449.sol
external/solvers/cadical/test/cnf/sqrt11881.cnf
external/solvers/cadical/test/cnf/sqrt11881.sol
external/solvers/cadical/test/cnf/sqrt12769.cnf
external/solvers/cadical/test/cnf/sqrt12769.sol
external/solvers/cadical/test/cnf/sqrt16129.cnf
external/solvers/cadical/test/cnf/sqrt16129.sol
external/solvers/cadical/test/cnf/sqrt259081.cnf
external/solvers/cadical/test/cnf/sqrt259081.sol
external/solvers/cadical/test/cnf/sqrt2809.cnf
external/solvers/cadical/test/cnf/sqrt2809.sol
external/solvers/cadical/test/cnf/sqrt3481.cnf
external/solvers/cadical/test/cnf/sqrt3481.sol
external/solvers/cadical/test/cnf/sqrt3721.cnf
external/solvers/cadical/test/cnf/sqrt3721.sol
external/solvers/cadical/test/cnf/sqrt4489.cnf
external/solvers/cadical/test/cnf/sqrt4489.sol
external/solvers/cadical/test/cnf/sqrt5041.cnf
external/solvers/cadical/test/cnf/sqrt5041.sol
external/solvers/cadical/test/cnf/sqrt5329.cnf
external/solvers/cadical/test/cnf/sqrt5329.sol
external/solvers/cadical/test/cnf/sqrt6241.cnf
external/solvers/cadical/test/cnf/sqrt6241.sol
external/solvers/cadical/test/cnf/sqrt63001.cnf
external/solvers/cadical/test/cnf/sqrt63001.sol
external/solvers/cadical/test/cnf/sqrt6889.cnf
external/solvers/cadical/test/cnf/sqrt6889.sol
external/solvers/cadical/test/cnf/sqrt7921.cnf
external/solvers/cadical/test/cnf/sqrt7921.sol
external/solvers/cadical/test/cnf/sqrt9409.cnf
external/solvers/cadical/test/cnf/sqrt9409.sol
external/solvers/cadical/test/cnf/sub0.cnf
external/solvers/cadical/test/cnf/unit0.cnf
external/solvers/cadical/test/cnf/unit0.sol
external/solvers/cadical/test/cnf/unit1.cnf
external/solvers/cadical/test/cnf/unit1.sol
external/solvers/cadical/test/cnf/unit2.cnf
external/solvers/cadical/test/cnf/unit2.sol
external/solvers/cadical/test/cnf/unit3.cnf
external/solvers/cadical/test/cnf/unit3.sol
external/solvers/cadical/test/cnf/unit4.cnf
external/solvers/cadical/test/cnf/unit5.cnf
external/solvers/cadical/test/cnf/unit6.cnf
external/solvers/cadical/test/cnf/unit7.cnf
external/solvers/cadical/test/contrib/README.md
external/solvers/cadical/test/contrib/craigtracer.cpp
external/solvers/cadical/test/contrib/craigtracer_incremental.cpp
external/solvers/cadical/test/contrib/run.sh
external/solvers/cadical/test/icnf/empty.icnf
external/solvers/cadical/test/icnf/false.icnf
external/solvers/cadical/test/icnf/prime49.icnf
external/solvers/cadical/test/icnf/run.sh
external/solvers/cadical/test/icnf/two1.icnf
external/solvers/cadical/test/icnf/two2.icnf
external/solvers/cadical/test/icnf/unit1.icnf
external/solvers/cadical/test/icnf/unit2.icnf
external/solvers/cadical/test/mbt/README.md
external/solvers/cadical/test/mbt/run.sh
external/solvers/cadical/test/trace/README.md
external/solvers/cadical/test/trace/reg0000.trace
external/solvers/cadical/test/trace/reg0001.trace
external/solvers/cadical/test/trace/reg0002.trace
external/solvers/cadical/test/trace/reg0003.trace
external/solvers/cadical/test/trace/reg0004.trace
external/solvers/cadical/test/trace/reg0005.trace
external/solvers/cadical/test/trace/reg0006.trace
external/solvers/cadical/test/trace/reg0007.trace
external/solvers/cadical/test/trace/reg0008.trace
external/solvers/cadical/test/trace/reg0009.trace
external/solvers/cadical/test/trace/reg0010.trace
external/solvers/cadical/test/trace/reg0011.trace
external/solvers/cadical/test/trace/reg0012.trace
external/solvers/cadical/test/trace/reg0013.trace
external/solvers/cadical/test/trace/reg0014.trace
external/solvers/cadical/test/trace/reg0015.trace
external/solvers/cadical/test/trace/reg0016.trace
external/solvers/cadical/test/trace/reg0017.trace
external/solvers/cadical/test/trace/reg0018.trace
external/solvers/cadical/test/trace/reg0019.trace
external/solvers/cadical/test/trace/reg0020.trace
external/solvers/cadical/test/trace/reg0021.trace
external/solvers/cadical/test/trace/reg0022.trace
external/solvers/cadical/test/trace/reg0023.trace
external/solvers/cadical/test/trace/reg0024.trace
external/solvers/cadical/test/trace/reg0025.trace
external/solvers/cadical/test/trace/reg0026.trace
external/solvers/cadical/test/trace/reg0027.trace
external/solvers/cadical/test/trace/reg0028.trace
external/solvers/cadical/test/trace/reg0029.trace
external/solvers/cadical/test/trace/reg0030.trace
external/solvers/cadical/test/trace/reg0031.trace
external/solvers/cadical/test/trace/reg0032.trace
external/solvers/cadical/test/trace/reg0033.trace
external/solvers/cadical/test/trace/reg0034.trace
external/solvers/cadical/test/trace/reg0035.trace
external/solvers/cadical/test/trace/reg0036.trace
external/solvers/cadical/test/trace/reg0037.trace
external/solvers/cadical/test/trace/reg0038.trace
external/solvers/cadical/test/trace/reg0039.trace
external/solvers/cadical/test/trace/reg0040.trace
external/solvers/cadical/test/trace/reg0041.trace
external/solvers/cadical/test/trace/reg0042.trace
external/solvers/cadical/test/trace/reg0043.trace
external/solvers/cadical/test/trace/reg0044.trace
external/solvers/cadical/test/trace/reg0045.trace
external/solvers/cadical/test/trace/reg0046.trace
external/solvers/cadical/test/trace/reg0047.trace
external/solvers/cadical/test/trace/reg0048.trace
external/solvers/cadical/test/trace/reg0049.trace
external/solvers/cadical/test/trace/reg0050.trace
external/solvers/cadical/test/trace/reg0051.trace
external/solvers/cadical/test/trace/reg0052.trace
external/solvers/cadical/test/trace/reg0053.trace
external/solvers/cadical/test/trace/reg0054.trace
external/solvers/cadical/test/trace/reg0055.trace
external/solvers/cadical/test/trace/reg0056.trace
external/solvers/cadical/test/trace/reg0057.trace
external/solvers/cadical/test/trace/reg0058.trace
external/solvers/cadical/test/trace/reg0059.trace
external/solvers/cadical/test/trace/reg0060.trace
external/solvers/cadical/test/trace/reg0061.trace
external/solvers/cadical/test/trace/reg0062.trace
external/solvers/cadical/test/trace/reg0063.trace
external/solvers/cadical/test/trace/reg0064.trace
external/solvers/cadical/test/trace/reg0065.trace
external/solvers/cadical/test/trace/reg0066.trace
external/solvers/cadical/test/trace/reg0067.trace
external/solvers/cadical/test/trace/reg0068.trace
external/solvers/cadical/test/trace/reg0069.trace
external/solvers/cadical/test/trace/reg0070.trace
external/solvers/cadical/test/trace/reg0071.trace
external/solvers/cadical/test/trace/reg0072.trace
external/solvers/cadical/test/trace/reg0073.trace
external/solvers/cadical/test/trace/reg0074.trace
external/solvers/cadical/test/trace/reg0075.trace
external/solvers/cadical/test/trace/reg0076.trace
external/solvers/cadical/test/trace/reg0077.trace
external/solvers/cadical/test/trace/reg0078.trace
external/solvers/cadical/test/trace/run.sh
external/solvers/cadical/test/usage/README.md
external/solvers/cadical/test/usage/missing-clause.cnf
external/solvers/cadical/test/usage/relaxed-header.cnf
external/solvers/cadical/test/usage/run.sh
external/solvers/cadical/test/usage/variable-too-large.cnf
external/solvers/glucose/CHANGELOG
external/solvers/glucose/Changelog
external/solvers/glucose/LICENCE
external/solvers/glucose/README
external/solvers/glucose/core/BoundedQueue.h
external/solvers/glucose/core/Constants.h
external/solvers/glucose/core/Dimacs.h
external/solvers/glucose/core/Makefile
external/solvers/glucose/core/Solver.cc
external/solvers/glucose/core/Solver.h
external/solvers/glucose/core/SolverStats.h
external/solvers/glucose/core/SolverTypes.h
external/solvers/glucose/mtl/Alg.h
external/solvers/glucose/mtl/Alloc.h
external/solvers/glucose/mtl/Clone.h
external/solvers/glucose/mtl/Heap.h
external/solvers/glucose/mtl/IntTypes.h
external/solvers/glucose/mtl/Map.h
external/solvers/glucose/mtl/Queue.h
external/solvers/glucose/mtl/Sort.h
external/solvers/glucose/mtl/Vec.h
external/solvers/glucose/mtl/VecThreads.h
external/solvers/glucose/mtl/XAlloc.h
external/solvers/glucose/mtl/config.mk
external/solvers/glucose/mtl/template.mk
external/solvers/glucose/parallel/ClausesBuffer.cc
external/solvers/glucose/parallel/ClausesBuffer.h
external/solvers/glucose/parallel/Main.cc
external/solvers/glucose/parallel/Makefile
external/solvers/glucose/parallel/MultiSolvers.cc
external/solvers/glucose/parallel/MultiSolvers.h
external/solvers/glucose/parallel/ParallelSolver.cc
external/solvers/glucose/parallel/ParallelSolver.h
external/solvers/glucose/parallel/SharedCompanion.cc
external/solvers/glucose/parallel/SharedCompanion.h
external/solvers/glucose/parallel/SolverCompanion.cc
external/solvers/glucose/parallel/SolverCompanion.h
external/solvers/glucose/parallel/SolverConfiguration.cc
external/solvers/glucose/parallel/SolverConfiguration.h
external/solvers/glucose/simp/Main.cc
external/solvers/glucose/simp/Makefile
external/solvers/glucose/simp/SimpSolver.cc
external/solvers/glucose/simp/SimpSolver.h
external/solvers/glucose/utils/Makefile
external/solvers/glucose/utils/Options.cc
external/solvers/glucose/utils/Options.h
external/solvers/glucose/utils/ParseUtils.h
external/solvers/glucose/utils/System.cc
external/solvers/glucose/utils/System.h
external/solvers/topor/BasicMemoryUsage.h
external/solvers/topor/BitArray.hpp
external/solvers/topor/ColorPrint.h
external/solvers/topor/Diamond.h
external/solvers/topor/LICENSE
external/solvers/topor/Main.cc
external/solvers/topor/Makefile
external/solvers/topor/README.md
external/solvers/topor/SetInScope.h
external/solvers/topor/TableBitInfo.hpp
external/solvers/topor/TimeMeasure.h
external/solvers/topor/Topi.cc
external/solvers/topor/Topi.hpp
external/solvers/topor/TopiAsg.cc
external/solvers/topor/TopiBacktrack.cc
external/solvers/topor/TopiBcp.cc
external/solvers/topor/TopiBitCompression.cc
external/solvers/topor/TopiCompression.cc
external/solvers/topor/TopiConflictAnalysis.cc
external/solvers/topor/TopiDebugPrinting.cc
external/solvers/topor/TopiDecision.cc
external/solvers/topor/TopiGlobal.hpp
external/solvers/topor/TopiHandleNewUserCls.hpp
external/solvers/topor/TopiInprocess.cc
external/solvers/topor/TopiParams.hpp
external/solvers/topor/TopiRestart.cc
external/solvers/topor/TopiStatistics.hpp
external/solvers/topor/TopiVarScores.hpp
external/solvers/topor/TopiWL.cc
external/solvers/topor/Topor.cc
external/solvers/topor/Topor.hpp
external/solvers/topor/ToporBitArray.hpp
external/solvers/topor/ToporBitArrayBuffer.hpp
external/solvers/topor/ToporDynArray.hpp
external/solvers/topor/ToporExternalTypes.hpp
external/solvers/topor/ToporIpasir.cc
external/solvers/topor/ToporIpasir.h
external/solvers/topor/ToporTableBitInfo.hpp
external/solvers/topor/ToporVector.hpp
external/solvers/topor/ToporWinAverage.hpp
external/solvers/topor/topor.sln
external/solvers/topor/topor.vcxproj
external/solvers/topor/topor.vcxproj.filters
external/solvers/topor/topor.vcxproj.user
src/AOptions.h
src/ATypes.h
src/Aperture.cc
src/Aperture.h
src/blackbox/BlackBox.cc
src/blackbox/Polosat.cc
src/constraints/Adder.cc
src/constraints/Adder.h
src/constraints/Constraints.cc
src/constraints/Encoder.h
src/constraints/Totalizer.cc
src/constraints/Totalizer.h
src/ipamir/AIpamir.cc
src/ipamir/AIpamir.h
src/ipamir/AIpamirWrapper.cc
src/ipamir/AIpamirWrapper.h
src/logging/Logger.cc
src/logging/Logger.h
src/maxsat/DeepDist.cc
src/maxsat/DeepDist.h
src/maxsat/LSU.cc
src/maxsat/LocalSearch.cc
src/maxsat/MaxSAT.cc
src/maxsat/MrsBeaver.cc
src/maxsat/NuWLS.cc
src/maxsat/NuWLS.h
src/maxsat/NuWeighting.cc
src/maxsat/NuWeighting.h
src/obv/OBV.cc
src/obv/ObvBS.cc
src/solvers/SatSolver.h
src/solvers/SolverFactory.h
src/solvers/cadical/Solver.cc
src/solvers/cadical/Solver.h
src/solvers/glucose/Solver.cc
src/solvers/glucose/Solver.h
src/solvers/kissat/Solver.cc
src/solvers/kissat/Solver.h
src/solvers/topor/Solver.cc
src/solvers/topor/Solver.h