%FILES%
usr/
usr/bin/
usr/bin/kissat
usr/bin/kitten
usr/include/
usr/include/kissat/
usr/include/kissat/allocate.h
usr/include/kissat/analyze.h
usr/include/kissat/ands.h
usr/include/kissat/application.h
usr/include/kissat/arena.h
usr/include/kissat/array.h
usr/include/kissat/assign.h
usr/include/kissat/attribute.h
usr/include/kissat/averages.h
usr/include/kissat/backbone.h
usr/include/kissat/backtrack.h
usr/include/kissat/bump.h
usr/include/kissat/check.h
usr/include/kissat/classify.h
usr/include/kissat/clause.h
usr/include/kissat/collect.h
usr/include/kissat/colors.h
usr/include/kissat/compact.h
usr/include/kissat/config.h
usr/include/kissat/congruence.h
usr/include/kissat/cover.h
usr/include/kissat/decide.h
usr/include/kissat/deduce.h
usr/include/kissat/definition.h
usr/include/kissat/dense.h
usr/include/kissat/eliminate.h
usr/include/kissat/equivalences.h
usr/include/kissat/error.h
usr/include/kissat/extend.h
usr/include/kissat/factor.h
usr/include/kissat/fastassign.h
usr/include/kissat/fastel.h
usr/include/kissat/fifo.h
usr/include/kissat/file.h
usr/include/kissat/flags.h
usr/include/kissat/format.h
usr/include/kissat/forward.h
usr/include/kissat/frames.h
usr/include/kissat/gates.h
usr/include/kissat/handle.h
usr/include/kissat/heap.h
usr/include/kissat/ifthenelse.h
usr/include/kissat/import.h
usr/include/kissat/inline.h
usr/include/kissat/inlineassign.h
usr/include/kissat/inlineframes.h
usr/include/kissat/inlineheap.h
usr/include/kissat/inlinequeue.h
usr/include/kissat/inlinevector.h
usr/include/kissat/internal.h
usr/include/kissat/keatures.h
usr/include/kissat/kimits.h
usr/include/kissat/kissat.h
usr/include/kissat/kitten.h
usr/include/kissat/krite.h
usr/include/kissat/learn.h
usr/include/kissat/literal.h
usr/include/kissat/logging.h
usr/include/kissat/lucky.h
usr/include/kissat/minimize.h
usr/include/kissat/mode.h
usr/include/kissat/options.h
usr/include/kissat/parse.h
usr/include/kissat/phases.h
usr/include/kissat/preprocess.h
usr/include/kissat/print.h
usr/include/kissat/probe.h
usr/include/kissat/profile.h
usr/include/kissat/promote.h
usr/include/kissat/proof.h
usr/include/kissat/propbeyond.h
usr/include/kissat/propdense.h
usr/include/kissat/propinitially.h
usr/include/kissat/proplit.h
usr/include/kissat/proprobe.h
usr/include/kissat/propsearch.h
usr/include/kissat/queue.h
usr/include/kissat/random.h
usr/include/kissat/rank.h
usr/include/kissat/reduce.h
usr/include/kissat/reference.h
usr/include/kissat/reluctant.h
usr/include/kissat/reorder.h
usr/include/kissat/rephase.h
usr/include/kissat/report.h
usr/include/kissat/require.h
usr/include/kissat/resize.h
usr/include/kissat/resolve.h
usr/include/kissat/resources.h
usr/include/kissat/restart.h
usr/include/kissat/search.h
usr/include/kissat/shrink.h
usr/include/kissat/smooth.h
usr/include/kissat/sort.h
usr/include/kissat/stack.h
usr/include/kissat/statistics.h
usr/include/kissat/strengthen.h
usr/include/kissat/substitute.h
usr/include/kissat/sweep.h
usr/include/kissat/terminate.h
usr/include/kissat/tiers.h
usr/include/kissat/trail.h
usr/include/kissat/transitive.h
usr/include/kissat/utilities.h
usr/include/kissat/value.h
usr/include/kissat/vector.h
usr/include/kissat/vivify.h
usr/include/kissat/walk.h
usr/include/kissat/warmup.h
usr/include/kissat/watch.h
usr/include/kissat/weaken.h
usr/include/kissat/witness.h
usr/lib/
usr/lib/libkissat.so
usr/share/
usr/share/doc/
usr/share/doc/kissat/
usr/share/doc/kissat/CONTRIBUTING
usr/share/doc/kissat/NEWS.md
usr/share/doc/kissat/README.md
usr/share/licenses/
usr/share/licenses/kissat/
usr/share/licenses/kissat/LICENSE
