@name spot-2.11.6_0+python311
@portname spot
@portepoch 0
@portversion 2.11.6
@portrevision 0
@archs i386
@portvariant +python311
@pkgdep python311-3.11.5_0
@pkgdep libcxx-5.0.1_5
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/__pycache__/buddy.cpython-311.opt-1.pyc
@comment MD5:ee0c64a69155d1542c668106fd877144
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/__pycache__/buddy.cpython-311.pyc
@comment MD5:ee0c64a69155d1542c668106fd877144
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/_buddy.cpython-311-darwin.a
@comment MD5:bfb14ebfa2468be12ebabbe141fd21e6
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/_buddy.cpython-311-darwin.la
@comment MD5:b2fc8e6990b4511d02b1ec620816c073
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/_buddy.cpython-311-darwin.so
@comment MD5:1217b653df63598c635093b8583fda7b
@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:87619396075aecea6657933df0794916
@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:e654663380aae4299ca4867b57510c3b
@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:bfdd69bfa22f2963b0cb2c2f1635f8d8
@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:bfdd69bfa22f2963b0cb2c2f1635f8d8
@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:a13e38964b4d253cf5a12e51015d7176
@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:a13e38964b4d253cf5a12e51015d7176
@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:a0d66d0816099ce0b297893d4d3474c4
@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:a0d66d0816099ce0b297893d4d3474c4
@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:1174c7c17f1e5a8914213a6d2546ba91
@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:1174c7c17f1e5a8914213a6d2546ba91
@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:00fc91ff55d35de3c0294e25971f3819
@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:00fc91ff55d35de3c0294e25971f3819
@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:40197ce004539468b21868dd61d1b418
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/_gen.cpython-311-darwin.la
@comment MD5:58e19054041a67f0653ea91f6c13f072
@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:7c0d5d079442f67caa520efb01959647
@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:5a73fec60f3b42e554d21a47380d72e3
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/_impl.cpython-311-darwin.la
@comment MD5:fc4612b1dede97a49754fcb1655780b3
@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:28c9dedaad104c7f4ca7a81a4788ba59
@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:bf4c007da9a1cf1264c662ac8529fe1c
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/_ltsmin.cpython-311-darwin.la
@comment MD5:40a58525f8ac9389194c9d6f68be4055
@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:10040fd8933bf2d637279b9350eba9d8
@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:5d3b6d018df8c5634378cb8f16a1df03
@comment binary:1
opt/local/bin/autfilt
@comment MD5:7bee6d355f601697f8101c1ae131e3a7
@comment binary:1
opt/local/bin/dstar2tgba
@comment MD5:15d6ff334f6b914c338a4312a0738ab1
@comment binary:1
opt/local/bin/genaut
@comment MD5:a9cb91898979da11d3e7b1e35a9b9f40
@comment binary:1
opt/local/bin/genltl
@comment MD5:a4472bfc5d7678f15373d36eaa1e5a20
@comment binary:1
opt/local/bin/ltl2tgba
@comment MD5:7856e4df0c08794ff7d23f0113ef9a88
@comment binary:1
opt/local/bin/ltl2tgta
@comment MD5:56dae038c59f9686c425ddbe71a01476
@comment binary:1
opt/local/bin/ltlcross
@comment MD5:9f493f0e15841f6f613b2307e1119964
@comment binary:1
opt/local/bin/ltldo
@comment MD5:4de86fbb51ebbf17401fde05ecbd6c60
@comment binary:1
opt/local/bin/ltlfilt
@comment MD5:25b65663be12884716b1986b8a0c9465
@comment binary:1
opt/local/bin/ltlgrind
@comment MD5:d365594657d7275a7d1c19bb286f5fb8
@comment binary:1
opt/local/bin/ltlsynt
@comment MD5:7158a0ede02320443b7237ec1ec9bcae
@comment binary:1
opt/local/bin/randaut
@comment MD5:ee975e9f1131a3a3beda25325abbacd8
@comment binary:1
opt/local/bin/randltl
@comment MD5:0deb2c155e996ff08d184ea674fb634a
@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:679a83a7e93c092229d59c4562e96036
@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:72597abf837a48ada001a71654da609e
@comment binary:1
opt/local/lib/libbddx.a
@comment MD5:7df9dce0619a16a2f80d978afbae18a8
@comment binary:0
opt/local/lib/libbddx.dylib
@comment MD5:72597abf837a48ada001a71654da609e
@comment binary:0
opt/local/lib/libbddx.la
@comment MD5:1dd7f8cf15f168c99c151a7202838af2
@comment binary:0
opt/local/lib/libspot.0.dylib
@comment MD5:ec5a7df9ed524902ad0ab4255d188524
@comment binary:1
opt/local/lib/libspot.a
@comment MD5:4928d3f0a380ea2562f4b22b490a0bc2
@comment binary:0
opt/local/lib/libspot.dylib
@comment MD5:ec5a7df9ed524902ad0ab4255d188524
@comment binary:0
opt/local/lib/libspot.la
@comment MD5:c30b7693c9f0764343ee9f8d5b0a785f
@comment binary:0
opt/local/lib/libspotgen.0.dylib
@comment MD5:97a9516a4ef6b299e38528910c65a1d5
@comment binary:1
opt/local/lib/libspotgen.a
@comment MD5:004ae46d85ab0dc8dc5804dbb84dfcdf
@comment binary:0
opt/local/lib/libspotgen.dylib
@comment MD5:97a9516a4ef6b299e38528910c65a1d5
@comment binary:0
opt/local/lib/libspotgen.la
@comment MD5:60c7594c96c717a77aae3037bcf307bc
@comment binary:0
opt/local/lib/libspotltsmin.0.dylib
@comment MD5:89cc607882e7b9f9a1f55103333bddf2
@comment binary:1
opt/local/lib/libspotltsmin.a
@comment MD5:3c6621cbef7b8ab37eccc025ad96dfde
@comment binary:0
opt/local/lib/libspotltsmin.dylib
@comment MD5:89cc607882e7b9f9a1f55103333bddf2
@comment binary:0
opt/local/lib/libspotltsmin.la
@comment MD5:08a92feb24a4100ef2067cb480798e85
@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:637c243fb682c8fe0891f180d8c70770
@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:979fd660a849ef7077788195225010ef
@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:6a01613bf7b9bb0cd136445718d66cd8
@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:48b8091ee25581b22e429d367528e5fe
@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
