@name spot-2.11.6_0+python311
@portname spot
@portepoch 0
@portversion 2.11.6
@portrevision 0
@archs arm64
@portvariant +python311
@pkgdep python311-3.11.11_0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/__pycache__/buddy.cpython-311.opt-1.pyc
@comment MD5:3bf9f0150394f31bf56a6725e8de6336
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/__pycache__/buddy.cpython-311.pyc
@comment MD5:3bf9f0150394f31bf56a6725e8de6336
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/_buddy.cpython-311-darwin.a
@comment MD5:57cc0df54a8c7a87220601bcdfe3f4bc
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/_buddy.cpython-311-darwin.so
@comment MD5:a640f980bb0e244fa5231490345d0c4b
@comment binary:1
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/buddy.py
@comment MD5:be76a9894e586e5f2a29ed3724e82857
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/__init__.py
@comment MD5:580e1284a85fbe472d2fc9d7d6541ad1
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/__pycache__/__init__.cpython-311.opt-1.pyc
@comment MD5:babc9bbfe9bac81f8c426ab117daf8af
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/__pycache__/__init__.cpython-311.pyc
@comment MD5:0c2f99c877200731fd27c7d1412bbadf
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/__pycache__/aux_.cpython-311.opt-1.pyc
@comment MD5:bdca94027178b5d3da3f5823a88a9d8a
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/__pycache__/aux_.cpython-311.pyc
@comment MD5:bdca94027178b5d3da3f5823a88a9d8a
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/__pycache__/gen.cpython-311.opt-1.pyc
@comment MD5:22643e3083630c1b450e1f4047576fe0
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/__pycache__/gen.cpython-311.pyc
@comment MD5:22643e3083630c1b450e1f4047576fe0
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/__pycache__/impl.cpython-311.opt-1.pyc
@comment MD5:c50988b515db4f6f27417b917aaaafb0
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/__pycache__/impl.cpython-311.pyc
@comment MD5:c50988b515db4f6f27417b917aaaafb0
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/__pycache__/jupyter.cpython-311.opt-1.pyc
@comment MD5:0a8b4b74b32019a2913cc20147cf604a
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/__pycache__/jupyter.cpython-311.pyc
@comment MD5:0a8b4b74b32019a2913cc20147cf604a
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/__pycache__/ltsmin.cpython-311.opt-1.pyc
@comment MD5:43f26be3698ac5c5f04141ec62da0e7a
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/__pycache__/ltsmin.cpython-311.pyc
@comment MD5:43f26be3698ac5c5f04141ec62da0e7a
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/_gen.cpython-311-darwin.a
@comment MD5:6e5032d492eee3a376794c2cec1741da
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/_gen.cpython-311-darwin.so
@comment MD5:65582b24c29875c3c280f9b5c43cbf3a
@comment binary:1
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/_impl.cpython-311-darwin.a
@comment MD5:48bc22d72894f8cf7835f219113e85eb
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/_impl.cpython-311-darwin.so
@comment MD5:9c5b825ab7b1ed708dbb305b3dff4861
@comment binary:1
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/_ltsmin.cpython-311-darwin.a
@comment MD5:2ee94fe17071e31f4a123c77124a5b44
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/_ltsmin.cpython-311-darwin.so
@comment MD5:db00dc01a626fbf7f487f85fc46d9d0e
@comment binary:1
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/aux_.py
@comment MD5:590248d9ac024cd1a54787d60b099245
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/gen.py
@comment MD5:6352ed70b60b04c6a775f279881f7208
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/impl.py
@comment MD5:4419a6d6eddf54bbcd7ba3976325f324
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/jupyter.py
@comment MD5:6d55a2e1cdeaa05c8ec13b29b54eddfc
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/ltsmin.py
@comment MD5:fe0fa90d0e7df05c201cd1dfdcc5489c
@comment binary:0
opt/local/bin/autcross
@comment MD5:608da23d925aa5b2fb216f6a2c1783a9
@comment binary:1
opt/local/bin/autfilt
@comment MD5:52497c50bd30fb9ca412d16fcbe86045
@comment binary:1
opt/local/bin/dstar2tgba
@comment MD5:cbbeb18e5cb1160e19828e44ce41b93a
@comment binary:1
opt/local/bin/genaut
@comment MD5:8692d8c78112ea64883dc19d7abade4d
@comment binary:1
opt/local/bin/genltl
@comment MD5:6fbfcbfacf28f7855b5f27d27cdf2945
@comment binary:1
opt/local/bin/ltl2tgba
@comment MD5:4e30d1fcfbdd85bf240c69099c804a6e
@comment binary:1
opt/local/bin/ltl2tgta
@comment MD5:0224c174bb11c09d64dffd1862877e96
@comment binary:1
opt/local/bin/ltlcross
@comment MD5:9f0d5c28aed39ea79272b9f2e3bdd39b
@comment binary:1
opt/local/bin/ltldo
@comment MD5:f5cdeabc46c300c967973404a5f44f75
@comment binary:1
opt/local/bin/ltlfilt
@comment MD5:40bb4e7c61e0fdb57e21f510f08a6787
@comment binary:1
opt/local/bin/ltlgrind
@comment MD5:efb3d9b4aa3c9bc4d5392e46f20fb608
@comment binary:1
opt/local/bin/ltlsynt
@comment MD5:118b22d82dbd01d49e007872a24f62e3
@comment binary:1
opt/local/bin/randaut
@comment MD5:8759dbe9b5924ea8e23e0dc63b6bf61f
@comment binary:1
opt/local/bin/randltl
@comment MD5:1bd1e26d57e404c09d6208f5eeb691db
@comment binary:1
opt/local/include/bddx.h
@comment MD5:8000e98286d5614c989ca3b51542627f
@comment binary:0
opt/local/include/bvecx.h
@comment MD5:2a387f23ea9b69e6d09097576f77c84b
@comment binary:0
opt/local/include/fddx.h
@comment MD5:63a9cb04d5f7e85d38c7366ba4efd327
@comment binary:0
opt/local/include/spot/bricks/brick-assert
@comment MD5:7303dbf0c101ece820bca76901b05797
@comment binary:0
opt/local/include/spot/bricks/brick-bitlevel
@comment MD5:b7710388bdaa982aa65657bf590efa42
@comment binary:0
opt/local/include/spot/bricks/brick-hash
@comment MD5:cd32884f1cc17eeaaa66c6e532c6f14d
@comment binary:0
opt/local/include/spot/bricks/brick-hashset
@comment MD5:e06ec6fc9d7ea3c7da64c4d7eab6505a
@comment binary:0
opt/local/include/spot/bricks/brick-shmem
@comment MD5:d7ee3fb747b19042f521101039378134
@comment binary:0
opt/local/include/spot/bricks/brick-types
@comment MD5:1b8318fe76f403bbaa5c4672e28e5357
@comment binary:0
opt/local/include/spot/gen/automata.hh
@comment MD5:e9641899ef125730b3af162d0373028c
@comment binary:0
opt/local/include/spot/gen/formulas.hh
@comment MD5:2fe8ed8ac8a5edfa99d81bdfb5b27659
@comment binary:0
opt/local/include/spot/graph/graph.hh
@comment MD5:8a361da0b519733b156e44af2509c9de
@comment binary:0
opt/local/include/spot/graph/ngraph.hh
@comment MD5:9d10355852e1a00c6749c0c0ff92783e
@comment binary:0
opt/local/include/spot/kripke/fairkripke.hh
@comment MD5:726349848b018f9691297b28569cde3c
@comment binary:0
opt/local/include/spot/kripke/fwd.hh
@comment MD5:31f14d34c4bfda236b15ec843133e597
@comment binary:0
opt/local/include/spot/kripke/kripke.hh
@comment MD5:090ec0309a992f1753de22643e9ecb71
@comment binary:0
opt/local/include/spot/kripke/kripkegraph.hh
@comment MD5:51245e97664d87d8cdea288d1d6c3d7b
@comment binary:0
opt/local/include/spot/ltsmin/ltsmin.hh
@comment MD5:832ce301af069e813a6d491e3553c721
@comment binary:0
opt/local/include/spot/ltsmin/spins_interface.hh
@comment MD5:13b4946d5c7e0a62c14248905a26165c
@comment binary:0
opt/local/include/spot/ltsmin/spins_kripke.hh
@comment MD5:62cdb4e5639ae050835249426e42b936
@comment binary:0
opt/local/include/spot/ltsmin/spins_kripke.hxx
@comment MD5:829203e304cbfab95416945e58e6d64e
@comment binary:0
opt/local/include/spot/mc/bloemen.hh
@comment MD5:25dc6e09a94eae03fa8df852653b1163
@comment binary:0
opt/local/include/spot/mc/bloemen_ec.hh
@comment MD5:e9801d66c691ff714e6e40dd69048903
@comment binary:0
opt/local/include/spot/mc/cndfs.hh
@comment MD5:7a7a40d8850435662e812dbde2563fd1
@comment binary:0
opt/local/include/spot/mc/deadlock.hh
@comment MD5:88d2a6fb604f5e388239a941ce36b225
@comment binary:0
opt/local/include/spot/mc/intersect.hh
@comment MD5:3e6dadc0829b9f597ac991c3e0c3ec03
@comment binary:0
opt/local/include/spot/mc/lpar13.hh
@comment MD5:853929679015e6f69b40062d55a9dc8f
@comment binary:0
opt/local/include/spot/mc/mc.hh
@comment MD5:2dd7f03a8413c32f971d794ca6f55ca2
@comment binary:0
opt/local/include/spot/mc/mc_instanciator.hh
@comment MD5:078937b503765adce23053156f54c1ca
@comment binary:0
opt/local/include/spot/mc/unionfind.hh
@comment MD5:dc4ce1b70d7c71b43e976f8b91ac2484
@comment binary:0
opt/local/include/spot/mc/utils.hh
@comment MD5:6b58732a5b3ecbc9b5da76b8bc7a7680
@comment binary:0
opt/local/include/spot/misc/_config.h
@comment MD5:234991c8e6be93403bec27c07a64c361
@comment binary:0
opt/local/include/spot/misc/bareword.hh
@comment MD5:a6948ec0fbbd9eed79994f597d114869
@comment binary:0
opt/local/include/spot/misc/bddlt.hh
@comment MD5:14bb04e18d8a553abb2a76dc7acc7fe3
@comment binary:0
opt/local/include/spot/misc/bitset.hh
@comment MD5:a0ded2792df11ef91f56ec7c42aa2df3
@comment binary:0
opt/local/include/spot/misc/bitvect.hh
@comment MD5:1d3c237629ce01885d579d8512aaf58b
@comment binary:0
opt/local/include/spot/misc/casts.hh
@comment MD5:5fc7d8ca30e33b1c5d4817f1e48ba511
@comment binary:0
opt/local/include/spot/misc/clz.hh
@comment MD5:dfefb138f1316eb10f7dfc2e783df0de
@comment binary:0
opt/local/include/spot/misc/common.hh
@comment MD5:e414134475788e676963f6b7797aa911
@comment binary:0
opt/local/include/spot/misc/escape.hh
@comment MD5:6509191c3a578f36969b943563d9b09b
@comment binary:0
opt/local/include/spot/misc/fixpool.hh
@comment MD5:647716151cce9ec94b8a70ec66e7cd9b
@comment binary:0
opt/local/include/spot/misc/formater.hh
@comment MD5:cfa73d359feb2476a4e70d89b0a43f55
@comment binary:0
opt/local/include/spot/misc/hash.hh
@comment MD5:a076c7bd8c09a7bb71928dbe6bc1a10e
@comment binary:0
opt/local/include/spot/misc/hashfunc.hh
@comment MD5:a1b2cf75e9ddbc1da25b0d2209feb6c1
@comment binary:0
opt/local/include/spot/misc/intvcmp2.hh
@comment MD5:7fdab047efbc2a7d7b18eab19e66319d
@comment binary:0
opt/local/include/spot/misc/intvcomp.hh
@comment MD5:a867caf16122f46fcc8b1605a4252d2e
@comment binary:0
opt/local/include/spot/misc/location.hh
@comment MD5:a1239a9b617528969a3c51244a482aae
@comment binary:0
opt/local/include/spot/misc/ltstr.hh
@comment MD5:f9e076966c4fcbe65f03873f92beb22b
@comment binary:0
opt/local/include/spot/misc/memusage.hh
@comment MD5:dc63e02aa2b62130056b242c0ed6b158
@comment binary:0
opt/local/include/spot/misc/minato.hh
@comment MD5:a2e02a982013d207a6ee4d719dc30501
@comment binary:0
opt/local/include/spot/misc/mspool.hh
@comment MD5:4bd69234a3704555fcfc64a22c36350f
@comment binary:0
opt/local/include/spot/misc/optionmap.hh
@comment MD5:5f961e11322d8d5a65ef2c65f728b54e
@comment binary:0
opt/local/include/spot/misc/position.hh
@comment MD5:46f9c77daf6e8fe8aad777f61e9828c9
@comment binary:0
opt/local/include/spot/misc/random.hh
@comment MD5:a788937707587f77b35f0b684db0128b
@comment binary:0
opt/local/include/spot/misc/satsolver.hh
@comment MD5:d795eb7fe3c353aec3fb63822c11d18b
@comment binary:0
opt/local/include/spot/misc/timer.hh
@comment MD5:cd2ec0c6745ead5c47fa0a82e542ffa0
@comment binary:0
opt/local/include/spot/misc/tmpfile.hh
@comment MD5:01a537d92b6ee33ed2602a6fdce1f6cf
@comment binary:0
opt/local/include/spot/misc/trival.hh
@comment MD5:ea2ce8c4fe3ebfce6b331c29968fafc4
@comment binary:0
opt/local/include/spot/misc/version.hh
@comment MD5:c0bde9b98a1212a7a9c3fb6ea66abc40
@comment binary:0
opt/local/include/spot/parseaut/public.hh
@comment MD5:d576cc2c3db8b826252dbad34781f1c1
@comment binary:0
opt/local/include/spot/ta/ta.hh
@comment MD5:b2a15dfbe1ab09d68f11cac556bd6eaa
@comment binary:0
opt/local/include/spot/ta/taexplicit.hh
@comment MD5:8b3026ea3958fbf7de004d112a79532e
@comment binary:0
opt/local/include/spot/ta/taproduct.hh
@comment MD5:f3be2fcbb6085ca0edd7274f9a6fde7d
@comment binary:0
opt/local/include/spot/ta/tgta.hh
@comment MD5:78c630e7746afb462f8bd76971614330
@comment binary:0
opt/local/include/spot/ta/tgtaexplicit.hh
@comment MD5:d1eb61507b025044be5d6eccd488c191
@comment binary:0
opt/local/include/spot/ta/tgtaproduct.hh
@comment MD5:a39dcf42599f44780979b8cc463d4147
@comment binary:0
opt/local/include/spot/taalgos/dot.hh
@comment MD5:a23ec567bcc857e252143a5f7fcbbfdf
@comment binary:0
opt/local/include/spot/taalgos/emptinessta.hh
@comment MD5:8833bb50a890158bc114432c010bfd90
@comment binary:0
opt/local/include/spot/taalgos/minimize.hh
@comment MD5:78cb4d6a87f06fc6372bca39369e24e7
@comment binary:0
opt/local/include/spot/taalgos/reachiter.hh
@comment MD5:2df22c2f7adcf25ae12bf342b6565401
@comment binary:0
opt/local/include/spot/taalgos/statessetbuilder.hh
@comment MD5:157d56e926051d49a50127589e684bb7
@comment binary:0
opt/local/include/spot/taalgos/stats.hh
@comment MD5:7f67a995a526b127461aa865809e02a3
@comment binary:0
opt/local/include/spot/taalgos/tgba2ta.hh
@comment MD5:f7b62ec5988bff3623a7933096d5c58b
@comment binary:0
opt/local/include/spot/tl/apcollect.hh
@comment MD5:7186982451070a053ac08a6108e7b1d7
@comment binary:0
opt/local/include/spot/tl/contain.hh
@comment MD5:f0aa7a5cdce14075b03e0484bc52c227
@comment binary:0
opt/local/include/spot/tl/declenv.hh
@comment MD5:b1b3e86fb12e4a7e300a58b4666535e5
@comment binary:0
opt/local/include/spot/tl/defaultenv.hh
@comment MD5:21deeb69a3ce3b6f0c5b7a9722e4d406
@comment binary:0
opt/local/include/spot/tl/dot.hh
@comment MD5:cbdd0b49a24afad329ef87d3fd932b5f
@comment binary:0
opt/local/include/spot/tl/environment.hh
@comment MD5:46d159043050e748a66041852b002090
@comment binary:0
opt/local/include/spot/tl/exclusive.hh
@comment MD5:e62c329685cf474939257bfb70b857a9
@comment binary:0
opt/local/include/spot/tl/formula.hh
@comment MD5:cc4b0a638c2bf1be71a4743ddf7ca289
@comment binary:0
opt/local/include/spot/tl/hierarchy.hh
@comment MD5:6ec47014cfc8f94643e4c015530bbb67
@comment binary:0
opt/local/include/spot/tl/length.hh
@comment MD5:30e929f180a1a53f0cc312a5beeb5279
@comment binary:0
opt/local/include/spot/tl/ltlf.hh
@comment MD5:ef6605cc66ab2443b4a42bf7498d7eb7
@comment binary:0
opt/local/include/spot/tl/mutation.hh
@comment MD5:c58f38d03eb921a1e170b5fc613ce8e0
@comment binary:0
opt/local/include/spot/tl/nenoform.hh
@comment MD5:65690755a33f58b1af5e9443e3d7dacc
@comment binary:0
opt/local/include/spot/tl/parse.hh
@comment MD5:df257ab0a4b45b20f9256b4c2a0717db
@comment binary:0
opt/local/include/spot/tl/print.hh
@comment MD5:70c6c676c5bd61376d36139d83c8ffa1
@comment binary:0
opt/local/include/spot/tl/randomltl.hh
@comment MD5:1884135f5038c21099b6995f1adb7e9d
@comment binary:0
opt/local/include/spot/tl/relabel.hh
@comment MD5:a4c7e2073991aaebc15780b3f5803304
@comment binary:0
opt/local/include/spot/tl/remove_x.hh
@comment MD5:1ffe78ba3b135e61c97702b7fedc1b5c
@comment binary:0
opt/local/include/spot/tl/simplify.hh
@comment MD5:7ef0a4953a272be463af7516e50c025f
@comment binary:0
opt/local/include/spot/tl/snf.hh
@comment MD5:0d51454984fa62205846ad8b4a472601
@comment binary:0
opt/local/include/spot/tl/sonf.hh
@comment MD5:10f7399316b447a1a5af2eb6946679eb
@comment binary:0
opt/local/include/spot/tl/unabbrev.hh
@comment MD5:96369a8d746263cdcbb89280ff4d6799
@comment binary:0
opt/local/include/spot/twa/acc.hh
@comment MD5:c79342b3b8da01106eca767a2559fb9d
@comment binary:0
opt/local/include/spot/twa/bdddict.hh
@comment MD5:0f2f011a4fa5ab5a1ca559caaa9f9138
@comment binary:0
opt/local/include/spot/twa/bddprint.hh
@comment MD5:fe39d3d6be9022d06883e8009318a891
@comment binary:0
opt/local/include/spot/twa/formula2bdd.hh
@comment MD5:73527245edc53be4d9470e8cb03beb97
@comment binary:0
opt/local/include/spot/twa/fwd.hh
@comment MD5:3db3c8fdbc80a99b1af0d3fbc96079b3
@comment binary:0
opt/local/include/spot/twa/taatgba.hh
@comment MD5:9e68ade54cf8c9d32b55ccfdbac10e2d
@comment binary:0
opt/local/include/spot/twa/twa.hh
@comment MD5:c2d54097d2fd155ffb0468474c542b65
@comment binary:0
opt/local/include/spot/twa/twagraph.hh
@comment MD5:09d761ad99a5d2bad236601df0e8c8fd
@comment binary:0
opt/local/include/spot/twa/twaproduct.hh
@comment MD5:4ec45d207a5ea2120f37608dc73a0af1
@comment binary:0
opt/local/include/spot/twaalgos/aiger.hh
@comment MD5:5cc14d6ac08c08bd17de7ec2e11505bc
@comment binary:0
opt/local/include/spot/twaalgos/alternation.hh
@comment MD5:fb4e9a5eaa0851730dae31ca8779e6c2
@comment binary:0
opt/local/include/spot/twaalgos/are_isomorphic.hh
@comment MD5:d1ae84f6202e04f3294fb0f749fa283e
@comment binary:0
opt/local/include/spot/twaalgos/bfssteps.hh
@comment MD5:7c7d73a6d8739004bc25f0bade306881
@comment binary:0
opt/local/include/spot/twaalgos/canonicalize.hh
@comment MD5:3f6bc22e3625a0b4abd77599a547450e
@comment binary:0
opt/local/include/spot/twaalgos/cleanacc.hh
@comment MD5:c5076c8829017ab8fa0f9d1cb74363fb
@comment binary:0
opt/local/include/spot/twaalgos/cobuchi.hh
@comment MD5:a470c690d10216f858d31c3c0f438514
@comment binary:0
opt/local/include/spot/twaalgos/complement.hh
@comment MD5:267123ecf016c5ccf798224a33408c63
@comment binary:0
opt/local/include/spot/twaalgos/complete.hh
@comment MD5:2f1d978ac1fd97405c44883e102208eb
@comment binary:0
opt/local/include/spot/twaalgos/compsusp.hh
@comment MD5:ea90d2d77ef0829782f0713919754ab6
@comment binary:0
opt/local/include/spot/twaalgos/contains.hh
@comment MD5:c302d74e3e489e87cb6e99a9184daeb5
@comment binary:0
opt/local/include/spot/twaalgos/copy.hh
@comment MD5:86a63a25e827a0055e3625bcd3138c93
@comment binary:0
opt/local/include/spot/twaalgos/couvreurnew.hh
@comment MD5:bda1ea7e7a9b02536eb7739d3ee01d65
@comment binary:0
opt/local/include/spot/twaalgos/cycles.hh
@comment MD5:d19c647862da5c66fca78d79c922e990
@comment binary:0
opt/local/include/spot/twaalgos/dbranch.hh
@comment MD5:c194f45081e2e7b7163599bfc827969f
@comment binary:0
opt/local/include/spot/twaalgos/degen.hh
@comment MD5:0d1eee4a8e5ba514cfda6743bcc06b80
@comment binary:0
opt/local/include/spot/twaalgos/determinize.hh
@comment MD5:13fc769c1b09011d60623bc9bae8b7ef
@comment binary:0
opt/local/include/spot/twaalgos/dot.hh
@comment MD5:8097287e5b1bd3987d1c4fb1b2da25f7
@comment binary:0
opt/local/include/spot/twaalgos/dtbasat.hh
@comment MD5:7f4350a3eb849e2d2988ef8f94e7206c
@comment binary:0
opt/local/include/spot/twaalgos/dtwasat.hh
@comment MD5:c37bde63c2947c4bd4953b3b992169c1
@comment binary:0
opt/local/include/spot/twaalgos/dualize.hh
@comment MD5:88d687bd3057ca62720d361d3c76a445
@comment binary:0
opt/local/include/spot/twaalgos/emptiness.hh
@comment MD5:ef47c31b6d4ae09b6111c283716b8ee6
@comment binary:0
opt/local/include/spot/twaalgos/emptiness_stats.hh
@comment MD5:0fc09657fb61f14c891ab0e664d6c0cb
@comment binary:0
opt/local/include/spot/twaalgos/game.hh
@comment MD5:02c381ba1859ed8b7cfab401c9d24c94
@comment binary:0
opt/local/include/spot/twaalgos/genem.hh
@comment MD5:31bca5eec186cedf064c4693161313c8
@comment binary:0
opt/local/include/spot/twaalgos/gfguarantee.hh
@comment MD5:65908661d6c3666aae7fa36969ebd31a
@comment binary:0
opt/local/include/spot/twaalgos/gtec/ce.hh
@comment MD5:0d7c3ca1398120ab30aa954ffed92125
@comment binary:0
opt/local/include/spot/twaalgos/gtec/gtec.hh
@comment MD5:d15b71554f119bed063d8f79f82e5947
@comment binary:0
opt/local/include/spot/twaalgos/gtec/sccstack.hh
@comment MD5:f5c81529eccb51992128e4955cd01171
@comment binary:0
opt/local/include/spot/twaalgos/gtec/status.hh
@comment MD5:dc6284eac7d7971c6a9e5c672f31838a
@comment binary:0
opt/local/include/spot/twaalgos/gv04.hh
@comment MD5:23d468f76896252a7ce982ef1cf889b1
@comment binary:0
opt/local/include/spot/twaalgos/hoa.hh
@comment MD5:849f7e6324aa76fb314d55a01af8987f
@comment binary:0
opt/local/include/spot/twaalgos/iscolored.hh
@comment MD5:dca4f4fe620a6cee71a26bb511f53e2e
@comment binary:0
opt/local/include/spot/twaalgos/isdet.hh
@comment MD5:fbbea0910903cf347bebf85c993fc32c
@comment binary:0
opt/local/include/spot/twaalgos/isunamb.hh
@comment MD5:2523fcaa7091b79d564bf21bad926e86
@comment binary:0
opt/local/include/spot/twaalgos/isweakscc.hh
@comment MD5:aa34b2fcb722e8957a38969c72e08802
@comment binary:0
opt/local/include/spot/twaalgos/langmap.hh
@comment MD5:7d7377c910cc34df0b8c49a126028b91
@comment binary:0
opt/local/include/spot/twaalgos/lbtt.hh
@comment MD5:5caf22688c0a4cd638b02fe559a7f31b
@comment binary:0
opt/local/include/spot/twaalgos/ltl2taa.hh
@comment MD5:5ff7d5c0a239d56556c078b58ea64093
@comment binary:0
opt/local/include/spot/twaalgos/ltl2tgba_fm.hh
@comment MD5:7bf95615a1e08da228d70ff9ff045ef4
@comment binary:0
opt/local/include/spot/twaalgos/magic.hh
@comment MD5:db04b973dd2bee2e4a4abae249c01ead
@comment binary:0
opt/local/include/spot/twaalgos/mask.hh
@comment MD5:4d6027d975fb297fa75532b20301e38e
@comment binary:0
opt/local/include/spot/twaalgos/mealy_machine.hh
@comment MD5:1a78f327cd3ea959ac16bd5a4107e1f9
@comment binary:0
opt/local/include/spot/twaalgos/minimize.hh
@comment MD5:5a6471cd0dc255c02d27051c9052328b
@comment binary:0
opt/local/include/spot/twaalgos/neverclaim.hh
@comment MD5:8c66672a3f29c6510954198e4d1da4e9
@comment binary:0
opt/local/include/spot/twaalgos/parity.hh
@comment MD5:9dc9bd31c43ecd52e1a37142193a04ad
@comment binary:0
opt/local/include/spot/twaalgos/postproc.hh
@comment MD5:df4014237d40b786dffd228ecb8d2b7d
@comment binary:0
opt/local/include/spot/twaalgos/powerset.hh
@comment MD5:ef5188615d74e1a9ecf5a1a617a4c89d
@comment binary:0
opt/local/include/spot/twaalgos/product.hh
@comment MD5:725945fadcd85c186c05cc64b27d5b50
@comment binary:0
opt/local/include/spot/twaalgos/randomgraph.hh
@comment MD5:bb7c31fa07ce983c720e37adc66e2bb0
@comment binary:0
opt/local/include/spot/twaalgos/randomize.hh
@comment MD5:cc41d9b73899b80305b9660ffe9e946c
@comment binary:0
opt/local/include/spot/twaalgos/reachiter.hh
@comment MD5:f10a9f40c3a67d25985f3ad4e9590bea
@comment binary:0
opt/local/include/spot/twaalgos/relabel.hh
@comment MD5:2300c458bb0b9e8967f09515e9167e15
@comment binary:0
opt/local/include/spot/twaalgos/remfin.hh
@comment MD5:a0d5f3d85c8c4ce480d643e7859bdf8e
@comment binary:0
opt/local/include/spot/twaalgos/remprop.hh
@comment MD5:f7fd0d384685316301a47003141e16a9
@comment binary:0
opt/local/include/spot/twaalgos/sbacc.hh
@comment MD5:79a30c50765dca6817d5c5bb6d1891e3
@comment binary:0
opt/local/include/spot/twaalgos/sccfilter.hh
@comment MD5:3c15fe8e912ea0046b3e6767df80212b
@comment binary:0
opt/local/include/spot/twaalgos/sccinfo.hh
@comment MD5:9c8ff005bd158181aefb0360b95761c0
@comment binary:0
opt/local/include/spot/twaalgos/se05.hh
@comment MD5:da5a6b01e85d86680c4a760ceb745219
@comment binary:0
opt/local/include/spot/twaalgos/sepsets.hh
@comment MD5:cda9ff5abdb55ad1caa291cce65c4b25
@comment binary:0
opt/local/include/spot/twaalgos/simulation.hh
@comment MD5:a8a15fa9fb003a928b9b0e99c4d740ad
@comment binary:0
opt/local/include/spot/twaalgos/split.hh
@comment MD5:747659772990c07c88a7c051c928d474
@comment binary:0
opt/local/include/spot/twaalgos/stats.hh
@comment MD5:04c0b22be8d4720a99c45402fb3df21f
@comment binary:0
opt/local/include/spot/twaalgos/strength.hh
@comment MD5:f4db6386add4608f85f9fb23771cad7d
@comment binary:0
opt/local/include/spot/twaalgos/stripacc.hh
@comment MD5:18b9989319fdc6973ce5d8b67d7c27ad
@comment binary:0
opt/local/include/spot/twaalgos/stutter.hh
@comment MD5:1562092f560aaa8c852eb4a1d0ba0a04
@comment binary:0
opt/local/include/spot/twaalgos/sum.hh
@comment MD5:766f6a7a13193c8ce7938d71801fddb4
@comment binary:0
opt/local/include/spot/twaalgos/synthesis.hh
@comment MD5:e20d74243838800e1f980f60753a4d44
@comment binary:0
opt/local/include/spot/twaalgos/tau03.hh
@comment MD5:567dabe91c50d20f08b7760804fa7e50
@comment binary:0
opt/local/include/spot/twaalgos/tau03opt.hh
@comment MD5:5886711fa4dd7e4613caa47b90841715
@comment binary:0
opt/local/include/spot/twaalgos/toparity.hh
@comment MD5:0d8ee8967e6dac6a29b1222a0203543a
@comment binary:0
opt/local/include/spot/twaalgos/totgba.hh
@comment MD5:794dacb20e8ca77e7d575ae83ba50a86
@comment binary:0
opt/local/include/spot/twaalgos/toweak.hh
@comment MD5:89828f99ffeeb5fac13c4260867e272f
@comment binary:0
opt/local/include/spot/twaalgos/translate.hh
@comment MD5:fa7115b355281e6ff08cf00ec47832fa
@comment binary:0
opt/local/include/spot/twaalgos/word.hh
@comment MD5:8a88dcceb72b055a8866242b41ea385c
@comment binary:0
opt/local/include/spot/twaalgos/zlktree.hh
@comment MD5:b44f4d752ed919000b02edefbddee7db
@comment binary:0
opt/local/include/spot/twacube/cube.hh
@comment MD5:d6f9f59c5638d18827fa026710dd3fa1
@comment binary:0
opt/local/include/spot/twacube/fwd.hh
@comment MD5:d227b6c2e6d61bae64a07767f3943819
@comment binary:0
opt/local/include/spot/twacube/twacube.hh
@comment MD5:1b6e407552e5c6aa0111e7c5b49b1189
@comment binary:0
opt/local/include/spot/twacube_algos/convert.hh
@comment MD5:4f5f96938375b27131715ac18531befb
@comment binary:0
opt/local/lib/libbddx.0.dylib
@comment MD5:79a19cd5878153b17d34560bc6c3a90a
@comment binary:1
opt/local/lib/libbddx.a
@comment MD5:d4ea2950c8c21d24f40caa0727f2edcb
@comment binary:0
opt/local/lib/libbddx.dylib
@comment MD5:79a19cd5878153b17d34560bc6c3a90a
@comment binary:0
opt/local/lib/libspot.0.dylib
@comment MD5:86c67c7a831db15cc706e2a2aae8b01c
@comment binary:1
opt/local/lib/libspot.a
@comment MD5:d655c1f323a8589b480b10df1983cccd
@comment binary:0
opt/local/lib/libspot.dylib
@comment MD5:86c67c7a831db15cc706e2a2aae8b01c
@comment binary:0
opt/local/lib/libspotgen.0.dylib
@comment MD5:570d34e2172d3311e80f3e1bb9646572
@comment binary:1
opt/local/lib/libspotgen.a
@comment MD5:05d7944d2ca17f3303c97406c2ab61c4
@comment binary:0
opt/local/lib/libspotgen.dylib
@comment MD5:570d34e2172d3311e80f3e1bb9646572
@comment binary:0
opt/local/lib/libspotltsmin.0.dylib
@comment MD5:13f4e4f4bf6a9ea711b2794483d7cc6c
@comment binary:1
opt/local/lib/libspotltsmin.a
@comment MD5:4b248a68a1176452cab3497b225ee2dc
@comment binary:0
opt/local/lib/libspotltsmin.dylib
@comment MD5:13f4e4f4bf6a9ea711b2794483d7cc6c
@comment binary:0
opt/local/lib/pkgconfig/libbddx.pc
@comment MD5:112209530401f85f62086c147fcf502a
@comment binary:0
opt/local/lib/pkgconfig/libspot.pc
@comment MD5:3929212876d4d5515fd436ebe05e87da
@comment binary:0
opt/local/lib/pkgconfig/libspotgen.pc
@comment MD5:5c023bd44d28c1d7020eab514729b909
@comment binary:0
opt/local/lib/pkgconfig/libspotltsmin.pc
@comment MD5:6b6de5320df8b5cd4ccb8da9c3c587d0
@comment binary:0
opt/local/share/doc/spot/tl.pdf
@comment MD5:f21122e7771937a45c447a252e9c9b1c
@comment binary:0
opt/local/share/man/man1/autcross.1.gz
@comment MD5:48f1b0b4333d36a025bd66f11fdcbf46
@comment binary:0
opt/local/share/man/man1/autfilt.1.gz
@comment MD5:81d5d3db3d044fe72367e45ff303c27f
@comment binary:0
opt/local/share/man/man1/dstar2tgba.1.gz
@comment MD5:80598b165ac4f68ce7d66ce5d0468df9
@comment binary:0
opt/local/share/man/man1/genaut.1.gz
@comment MD5:bd2d1264de4569dad23bb56716e99337
@comment binary:0
opt/local/share/man/man1/genltl.1.gz
@comment MD5:f9ebd7c674d5af064d767afdfbf55ad1
@comment binary:0
opt/local/share/man/man1/ltl2tgba.1.gz
@comment MD5:7cf26f21c121a2fec069d054dd4b1293
@comment binary:0
opt/local/share/man/man1/ltl2tgta.1.gz
@comment MD5:c1ed62e9c7c901607907d79ac9d0716e
@comment binary:0
opt/local/share/man/man1/ltlcross.1.gz
@comment MD5:2095837f0ecda227f92c06dc310b1172
@comment binary:0
opt/local/share/man/man1/ltldo.1.gz
@comment MD5:f1df9d6137e0e454b4e88b9d8e07ff6d
@comment binary:0
opt/local/share/man/man1/ltlfilt.1.gz
@comment MD5:ece337c74824dfe6f1e3a18b6a1dda03
@comment binary:0
opt/local/share/man/man1/ltlgrind.1.gz
@comment MD5:dd1a4f3ec05efc820e149aa3a5a2e2fb
@comment binary:0
opt/local/share/man/man1/ltlsynt.1.gz
@comment MD5:159950aaae72e9f644ffcd2c352f3595
@comment binary:0
opt/local/share/man/man1/randaut.1.gz
@comment MD5:b0d2597a319e78acbd67de8e03551293
@comment binary:0
opt/local/share/man/man1/randltl.1.gz
@comment MD5:45ad5771779c360362bb644dff60e348
@comment binary:0
opt/local/share/man/man7/spot-x.7.gz
@comment MD5:83409e9222b758bcc9591af362c24ed7
@comment binary:0
opt/local/share/man/man7/spot.7.gz
@comment MD5:e529b1c051b5e0b9ac41804f08af7e50
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
