%FILES%
usr/
usr/bin/
usr/bin/autcross
usr/bin/autfilt
usr/bin/dstar2tgba
usr/bin/genaut
usr/bin/genltl
usr/bin/ltl2tgba
usr/bin/ltl2tgta
usr/bin/ltlcross
usr/bin/ltldo
usr/bin/ltlfilt
usr/bin/ltlgrind
usr/bin/ltlsynt
usr/bin/randaut
usr/bin/randltl
usr/include/
usr/include/bddx.h
usr/include/bvecx.h
usr/include/fddx.h
usr/include/spot/
usr/include/spot/bricks/
usr/include/spot/bricks/brick-assert
usr/include/spot/bricks/brick-bitlevel
usr/include/spot/bricks/brick-hash
usr/include/spot/bricks/brick-hashset
usr/include/spot/bricks/brick-shmem
usr/include/spot/bricks/brick-types
usr/include/spot/gen/
usr/include/spot/gen/automata.hh
usr/include/spot/gen/formulas.hh
usr/include/spot/graph/
usr/include/spot/graph/graph.hh
usr/include/spot/graph/ngraph.hh
usr/include/spot/kripke/
usr/include/spot/kripke/fairkripke.hh
usr/include/spot/kripke/fwd.hh
usr/include/spot/kripke/kripke.hh
usr/include/spot/kripke/kripkegraph.hh
usr/include/spot/ltsmin/
usr/include/spot/ltsmin/ltsmin.hh
usr/include/spot/ltsmin/spins_interface.hh
usr/include/spot/ltsmin/spins_kripke.hh
usr/include/spot/ltsmin/spins_kripke.hxx
usr/include/spot/mc/
usr/include/spot/mc/bloemen.hh
usr/include/spot/mc/bloemen_ec.hh
usr/include/spot/mc/cndfs.hh
usr/include/spot/mc/deadlock.hh
usr/include/spot/mc/intersect.hh
usr/include/spot/mc/lpar13.hh
usr/include/spot/mc/mc.hh
usr/include/spot/mc/mc_instanciator.hh
usr/include/spot/mc/unionfind.hh
usr/include/spot/mc/utils.hh
usr/include/spot/misc/
usr/include/spot/misc/_config.h
usr/include/spot/misc/bareword.hh
usr/include/spot/misc/bddlt.hh
usr/include/spot/misc/bitset.hh
usr/include/spot/misc/bitvect.hh
usr/include/spot/misc/casts.hh
usr/include/spot/misc/clz.hh
usr/include/spot/misc/common.hh
usr/include/spot/misc/escape.hh
usr/include/spot/misc/fixpool.hh
usr/include/spot/misc/formater.hh
usr/include/spot/misc/hash.hh
usr/include/spot/misc/hashfunc.hh
usr/include/spot/misc/intvcmp2.hh
usr/include/spot/misc/intvcomp.hh
usr/include/spot/misc/location.hh
usr/include/spot/misc/ltstr.hh
usr/include/spot/misc/memusage.hh
usr/include/spot/misc/minato.hh
usr/include/spot/misc/mspool.hh
usr/include/spot/misc/optionmap.hh
usr/include/spot/misc/position.hh
usr/include/spot/misc/random.hh
usr/include/spot/misc/satsolver.hh
usr/include/spot/misc/timer.hh
usr/include/spot/misc/tmpfile.hh
usr/include/spot/misc/trival.hh
usr/include/spot/misc/version.hh
usr/include/spot/parseaut/
usr/include/spot/parseaut/public.hh
usr/include/spot/ta/
usr/include/spot/ta/ta.hh
usr/include/spot/ta/taexplicit.hh
usr/include/spot/ta/taproduct.hh
usr/include/spot/ta/tgta.hh
usr/include/spot/ta/tgtaexplicit.hh
usr/include/spot/ta/tgtaproduct.hh
usr/include/spot/taalgos/
usr/include/spot/taalgos/dot.hh
usr/include/spot/taalgos/emptinessta.hh
usr/include/spot/taalgos/minimize.hh
usr/include/spot/taalgos/reachiter.hh
usr/include/spot/taalgos/statessetbuilder.hh
usr/include/spot/taalgos/stats.hh
usr/include/spot/taalgos/tgba2ta.hh
usr/include/spot/tl/
usr/include/spot/tl/apcollect.hh
usr/include/spot/tl/contain.hh
usr/include/spot/tl/declenv.hh
usr/include/spot/tl/defaultenv.hh
usr/include/spot/tl/dot.hh
usr/include/spot/tl/environment.hh
usr/include/spot/tl/exclusive.hh
usr/include/spot/tl/formula.hh
usr/include/spot/tl/hierarchy.hh
usr/include/spot/tl/length.hh
usr/include/spot/tl/ltlf.hh
usr/include/spot/tl/mutation.hh
usr/include/spot/tl/nenoform.hh
usr/include/spot/tl/parse.hh
usr/include/spot/tl/print.hh
usr/include/spot/tl/randomltl.hh
usr/include/spot/tl/relabel.hh
usr/include/spot/tl/remove_x.hh
usr/include/spot/tl/simplify.hh
usr/include/spot/tl/snf.hh
usr/include/spot/tl/sonf.hh
usr/include/spot/tl/unabbrev.hh
usr/include/spot/twa/
usr/include/spot/twa/acc.hh
usr/include/spot/twa/bdddict.hh
usr/include/spot/twa/bddprint.hh
usr/include/spot/twa/formula2bdd.hh
usr/include/spot/twa/fwd.hh
usr/include/spot/twa/taatgba.hh
usr/include/spot/twa/twa.hh
usr/include/spot/twa/twagraph.hh
usr/include/spot/twa/twaproduct.hh
usr/include/spot/twaalgos/
usr/include/spot/twaalgos/aiger.hh
usr/include/spot/twaalgos/alternation.hh
usr/include/spot/twaalgos/are_isomorphic.hh
usr/include/spot/twaalgos/bfssteps.hh
usr/include/spot/twaalgos/canonicalize.hh
usr/include/spot/twaalgos/cleanacc.hh
usr/include/spot/twaalgos/cobuchi.hh
usr/include/spot/twaalgos/complement.hh
usr/include/spot/twaalgos/complete.hh
usr/include/spot/twaalgos/compsusp.hh
usr/include/spot/twaalgos/contains.hh
usr/include/spot/twaalgos/copy.hh
usr/include/spot/twaalgos/couvreurnew.hh
usr/include/spot/twaalgos/cycles.hh
usr/include/spot/twaalgos/dbranch.hh
usr/include/spot/twaalgos/degen.hh
usr/include/spot/twaalgos/determinize.hh
usr/include/spot/twaalgos/dot.hh
usr/include/spot/twaalgos/dtbasat.hh
usr/include/spot/twaalgos/dtwasat.hh
usr/include/spot/twaalgos/dualize.hh
usr/include/spot/twaalgos/emptiness.hh
usr/include/spot/twaalgos/emptiness_stats.hh
usr/include/spot/twaalgos/forq_contains.hh
usr/include/spot/twaalgos/game.hh
usr/include/spot/twaalgos/genem.hh
usr/include/spot/twaalgos/gfguarantee.hh
usr/include/spot/twaalgos/gtec/
usr/include/spot/twaalgos/gtec/ce.hh
usr/include/spot/twaalgos/gtec/gtec.hh
usr/include/spot/twaalgos/gtec/sccstack.hh
usr/include/spot/twaalgos/gtec/status.hh
usr/include/spot/twaalgos/gv04.hh
usr/include/spot/twaalgos/hoa.hh
usr/include/spot/twaalgos/iscolored.hh
usr/include/spot/twaalgos/isdet.hh
usr/include/spot/twaalgos/isunamb.hh
usr/include/spot/twaalgos/isweakscc.hh
usr/include/spot/twaalgos/langmap.hh
usr/include/spot/twaalgos/lbtt.hh
usr/include/spot/twaalgos/ltl2taa.hh
usr/include/spot/twaalgos/ltl2tgba_fm.hh
usr/include/spot/twaalgos/magic.hh
usr/include/spot/twaalgos/mask.hh
usr/include/spot/twaalgos/mealy_machine.hh
usr/include/spot/twaalgos/minimize.hh
usr/include/spot/twaalgos/neverclaim.hh
usr/include/spot/twaalgos/parity.hh
usr/include/spot/twaalgos/postproc.hh
usr/include/spot/twaalgos/powerset.hh
usr/include/spot/twaalgos/product.hh
usr/include/spot/twaalgos/randomgraph.hh
usr/include/spot/twaalgos/randomize.hh
usr/include/spot/twaalgos/reachiter.hh
usr/include/spot/twaalgos/relabel.hh
usr/include/spot/twaalgos/remfin.hh
usr/include/spot/twaalgos/remprop.hh
usr/include/spot/twaalgos/sbacc.hh
usr/include/spot/twaalgos/sccfilter.hh
usr/include/spot/twaalgos/sccinfo.hh
usr/include/spot/twaalgos/se05.hh
usr/include/spot/twaalgos/sepsets.hh
usr/include/spot/twaalgos/simulation.hh
usr/include/spot/twaalgos/split.hh
usr/include/spot/twaalgos/stats.hh
usr/include/spot/twaalgos/strength.hh
usr/include/spot/twaalgos/stripacc.hh
usr/include/spot/twaalgos/stutter.hh
usr/include/spot/twaalgos/sum.hh
usr/include/spot/twaalgos/synthesis.hh
usr/include/spot/twaalgos/tau03.hh
usr/include/spot/twaalgos/tau03opt.hh
usr/include/spot/twaalgos/toparity.hh
usr/include/spot/twaalgos/totgba.hh
usr/include/spot/twaalgos/toweak.hh
usr/include/spot/twaalgos/translate.hh
usr/include/spot/twaalgos/word.hh
usr/include/spot/twaalgos/zlktree.hh
usr/include/spot/twacube/
usr/include/spot/twacube/cube.hh
usr/include/spot/twacube/fwd.hh
usr/include/spot/twacube/twacube.hh
usr/include/spot/twacube_algos/
usr/include/spot/twacube_algos/convert.hh
usr/lib/
usr/lib/libbddx.so
usr/lib/libbddx.so.0
usr/lib/libbddx.so.0.0.0
usr/lib/libspot.so
usr/lib/libspot.so.0
usr/lib/libspot.so.0.0.0
usr/lib/libspotgen.so
usr/lib/libspotgen.so.0
usr/lib/libspotgen.so.0.0.0
usr/lib/libspotltsmin.so
usr/lib/libspotltsmin.so.0
usr/lib/libspotltsmin.so.0.0.0
usr/lib/pkgconfig/
usr/lib/pkgconfig/libbddx.pc
usr/lib/pkgconfig/libspot.pc
usr/lib/pkgconfig/libspotgen.pc
usr/lib/pkgconfig/libspotltsmin.pc
usr/lib/python3.13/
usr/lib/python3.13/site-packages/
usr/lib/python3.13/site-packages/__pycache__/
usr/lib/python3.13/site-packages/__pycache__/buddy.cpython-313.opt-1.pyc
usr/lib/python3.13/site-packages/__pycache__/buddy.cpython-313.pyc
usr/lib/python3.13/site-packages/_buddy.cpython-313-x86_64-linux-gnu.so
usr/lib/python3.13/site-packages/buddy.py
usr/lib/python3.13/site-packages/spot/
usr/lib/python3.13/site-packages/spot/__init__.py
usr/lib/python3.13/site-packages/spot/__pycache__/
usr/lib/python3.13/site-packages/spot/__pycache__/__init__.cpython-313.opt-1.pyc
usr/lib/python3.13/site-packages/spot/__pycache__/__init__.cpython-313.pyc
usr/lib/python3.13/site-packages/spot/__pycache__/aux_.cpython-313.opt-1.pyc
usr/lib/python3.13/site-packages/spot/__pycache__/aux_.cpython-313.pyc
usr/lib/python3.13/site-packages/spot/__pycache__/gen.cpython-313.opt-1.pyc
usr/lib/python3.13/site-packages/spot/__pycache__/gen.cpython-313.pyc
usr/lib/python3.13/site-packages/spot/__pycache__/impl.cpython-313.opt-1.pyc
usr/lib/python3.13/site-packages/spot/__pycache__/impl.cpython-313.pyc
usr/lib/python3.13/site-packages/spot/__pycache__/jupyter.cpython-313.opt-1.pyc
usr/lib/python3.13/site-packages/spot/__pycache__/jupyter.cpython-313.pyc
usr/lib/python3.13/site-packages/spot/__pycache__/ltsmin.cpython-313.opt-1.pyc
usr/lib/python3.13/site-packages/spot/__pycache__/ltsmin.cpython-313.pyc
usr/lib/python3.13/site-packages/spot/_gen.cpython-313-x86_64-linux-gnu.so
usr/lib/python3.13/site-packages/spot/_impl.cpython-313-x86_64-linux-gnu.so
usr/lib/python3.13/site-packages/spot/_ltsmin.cpython-313-x86_64-linux-gnu.so
usr/lib/python3.13/site-packages/spot/aux_.py
usr/lib/python3.13/site-packages/spot/gen.py
usr/lib/python3.13/site-packages/spot/impl.py
usr/lib/python3.13/site-packages/spot/jupyter.py
usr/lib/python3.13/site-packages/spot/ltsmin.py
usr/share/
usr/share/doc/
usr/share/doc/spot/
usr/share/doc/spot/tl.pdf
usr/share/licenses/
usr/share/licenses/spot/
usr/share/licenses/spot/COPYING
usr/share/man/
usr/share/man/man1/
usr/share/man/man1/autcross.1.gz
usr/share/man/man1/autfilt.1.gz
usr/share/man/man1/dstar2tgba.1.gz
usr/share/man/man1/genaut.1.gz
usr/share/man/man1/genltl.1.gz
usr/share/man/man1/ltl2tgba.1.gz
usr/share/man/man1/ltl2tgta.1.gz
usr/share/man/man1/ltlcross.1.gz
usr/share/man/man1/ltldo.1.gz
usr/share/man/man1/ltlfilt.1.gz
usr/share/man/man1/ltlgrind.1.gz
usr/share/man/man1/ltlsynt.1.gz
usr/share/man/man1/randaut.1.gz
usr/share/man/man1/randltl.1.gz
usr/share/man/man7/
usr/share/man/man7/spot-x.7.gz
usr/share/man/man7/spot.7.gz
