@name spot-2.14.5_0+python311
@portname spot
@portepoch 0
@portversion 2.14.5
@portrevision 0
@archs i386
@portvariant +python311
@pkgdep python311-3.11.15_0
@pkgdep libcxx-5.0.1_5
@macports_version 2.12.4
@os.subplatform macosx
@os.version 10.8.0
@macos_version 10.6.8
@xcodeversion 3.2.6
@source_date_epoch 1775651374
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/__pycache__/buddy.cpython-311.opt-1.pyc
@comment MD5:2bc82d7fc47c51d0ab69275ad8a7e420
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/__pycache__/buddy.cpython-311.opt-2.pyc
@comment MD5:8aa1affca9fc0b3aab5fb1a8bcfa45d7
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/__pycache__/buddy.cpython-311.pyc
@comment MD5:2bc82d7fc47c51d0ab69275ad8a7e420
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/_buddy.cpython-311-darwin.a
@comment MD5:adee1b235536cea74e5a9cd85f7ea25b
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/_buddy.cpython-311-darwin.la
@comment MD5:60cd417cc8c44b174a4b99f5f293fd8f
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/_buddy.cpython-311-darwin.so
@comment MD5:a0993b1ac2860993fd82e23302961c0d
@comment binary:1
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/buddy.py
@comment MD5:de83243a120f5626eae76e319fe66482
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/__init__.py
@comment MD5:0fbafa0f652ae04942d23fd7933a57bc
@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:ecaed58507289dcfafbe34b8e7c2defc
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/__pycache__/__init__.cpython-311.opt-2.pyc
@comment MD5:749e443da183d29d626a32c479dcf768
@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:d1d45811e682cb4542c0b179f386f4f1
@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:9650299653abeee784329c716621dfd9
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/__pycache__/aux_.cpython-311.opt-2.pyc
@comment MD5:17716163db9fccf647ac39e37a3a1763
@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:9650299653abeee784329c716621dfd9
@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:5ad727613c45f080b9b5d32299584047
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/__pycache__/gen.cpython-311.opt-2.pyc
@comment MD5:ca6da89dff99b390cf6792f20b78f97b
@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:5ad727613c45f080b9b5d32299584047
@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:91126ea852599d194f053ed3d76d36fd
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/__pycache__/impl.cpython-311.opt-2.pyc
@comment MD5:bd63c05df6ace8a08531bcda41b7e1b8
@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:91126ea852599d194f053ed3d76d36fd
@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:04856e23a25fd13cf06a47fd120c9211
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/__pycache__/jupyter.cpython-311.opt-2.pyc
@comment MD5:8d384e0e667d8b207d632f9f66e06d69
@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:04856e23a25fd13cf06a47fd120c9211
@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:80aba97cedc7b1303c774f7ec2726ecd
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/__pycache__/ltsmin.cpython-311.opt-2.pyc
@comment MD5:2cc62aca76deff68d0e392ea88a6e512
@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:80aba97cedc7b1303c774f7ec2726ecd
@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:c436372131088745b2c3bdf2b13b5ff1
@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:035d8cd53eae5049d85849528a2c46a4
@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:051a2ee27ee176dd133e73fb3b0731a5
@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:3b2dc6691abf63042a91f143a59a07d0
@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:e4025323d041e6e28d396c392b5d749b
@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:240a2a3ecf61236ba9292bff5e2403e8
@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:4c30986e1feb8ccb13332d3b438b322e
@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:e42a63224f341c54673019647f94bd10
@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:fd3e2d548edae407c5a41ddbd6ebe698
@comment binary:1
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/aux_.py
@comment MD5:8bceaf00521ef24e60fe2ab8b5470c26
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/gen.py
@comment MD5:065224d9b449a75aab39d4be33686116
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/impl.py
@comment MD5:98bb710c8f57bba03b2af957bb9556fe
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/jupyter.py
@comment MD5:1a70759958bcd2f4407e63dc453c885d
@comment binary:0
opt/local/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/spot/ltsmin.py
@comment MD5:d70db2772d143ea84669f733284beeb7
@comment binary:0
opt/local/bin/autcross
@comment MD5:de24c31b35e4ed460d235218e9feb0d5
@comment binary:1
opt/local/bin/autfilt
@comment MD5:a633124a3c405e2fec3486b653b49c72
@comment binary:1
opt/local/bin/dstar2tgba
@comment MD5:68bb28d9f10f19b36f21cfa33a2a57d0
@comment binary:1
opt/local/bin/genaut
@comment MD5:bf94c6b3bcb510d791dda6745d055659
@comment binary:1
opt/local/bin/genltl
@comment MD5:ae4d27e32b1e9510ea03c49daae0e8a6
@comment binary:1
opt/local/bin/ltl2tgba
@comment MD5:3cbd8b1a6dd433de1f50137e21179b21
@comment binary:1
opt/local/bin/ltl2tgta
@comment MD5:0cfba1573772119b4ed4c01e0f41637d
@comment binary:1
opt/local/bin/ltlcross
@comment MD5:a20676f0f950ae027b3b883e81292492
@comment binary:1
opt/local/bin/ltldo
@comment MD5:36a6ea0d91d805237b026949c03e35ab
@comment binary:1
opt/local/bin/ltlf2dfa
@comment MD5:e52227ec302a685fcbcee924db4b2690
@comment binary:1
opt/local/bin/ltlfilt
@comment MD5:2c638ee7fa84f5a242b0688e706ce845
@comment binary:1
opt/local/bin/ltlfsynt
@comment MD5:2c6f0952cd73c5965bbba3c0601479de
@comment binary:1
opt/local/bin/ltlgrind
@comment MD5:255c59b3c72d54504463f30406398625
@comment binary:1
opt/local/bin/ltlmix
@comment MD5:1b4c6ef1cce3c79c1fc6b5228feed3de
@comment binary:1
opt/local/bin/ltlsynt
@comment MD5:ea24cd4f4125418f22fd66021f8d2a83
@comment binary:1
opt/local/bin/randaut
@comment MD5:276427f4d2a450224862f6e4b99b7f15
@comment binary:1
opt/local/bin/randltl
@comment MD5:e0f60feadebbbed4c14d8c9f1eedfe22
@comment binary:1
opt/local/include/bddx.h
@comment MD5:dd3953af0791a5aa74e8186df26fd29d
@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:262f7e4c956c9f4224c6ee30cfb91c3d
@comment binary:0
opt/local/include/spot/bricks/brick-bitlevel
@comment MD5:18c2b533d029595079fcc090dba9baee
@comment binary:0
opt/local/include/spot/bricks/brick-hash
@comment MD5:c46b0a42d938611af7c5e8dc9e3ae435
@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:1a477f1ac23fc36bf8fe8dc1c712b498
@comment binary:0
opt/local/include/spot/gen/automata.hh
@comment MD5:fcae7527ea6af9f24495ff3c2bec437d
@comment binary:0
opt/local/include/spot/gen/formulas.hh
@comment MD5:89e14352e8afcd0e177700384ae3bfb1
@comment binary:0
opt/local/include/spot/graph/adjlist.hh
@comment MD5:773b47b37f4c4366913036f8d062512f
@comment binary:0
opt/local/include/spot/graph/graph.hh
@comment MD5:13c1a4fff94c8c87be16f6b0d89e276a
@comment binary:0
opt/local/include/spot/graph/ngraph.hh
@comment MD5:41992aeb37acdfa62f6409a9cbecc2fc
@comment binary:0
opt/local/include/spot/kripke/fairkripke.hh
@comment MD5:e22110bc80c15fd37bfe89f990096e9b
@comment binary:0
opt/local/include/spot/kripke/fwd.hh
@comment MD5:78f0b028e25fc88b08f435b8c7493f1c
@comment binary:0
opt/local/include/spot/kripke/kripke.hh
@comment MD5:b32e57d4ebfe4860baece73869fd99e7
@comment binary:0
opt/local/include/spot/kripke/kripkegraph.hh
@comment MD5:9d79b563991d789ab30380f21f84e0c8
@comment binary:0
opt/local/include/spot/ltsmin/ltsmin.hh
@comment MD5:ca18d2a0218debf65ef6412fa80e3d4b
@comment binary:0
opt/local/include/spot/ltsmin/spins_interface.hh
@comment MD5:3b1d7bdcd5b5e1cfa9c7c71834adde79
@comment binary:0
opt/local/include/spot/ltsmin/spins_kripke.hh
@comment MD5:430445e7bf9aa77c81dbb0ee83933ba3
@comment binary:0
opt/local/include/spot/ltsmin/spins_kripke.hxx
@comment MD5:427ae96f1db33ebc9126e475cd5e4b71
@comment binary:0
opt/local/include/spot/mc/bloemen.hh
@comment MD5:38614cc7d77e701fd367eb23e9c2bb4f
@comment binary:0
opt/local/include/spot/mc/bloemen_ec.hh
@comment MD5:b9becf20f9c0b3ba2215de6ab4960fd5
@comment binary:0
opt/local/include/spot/mc/cndfs.hh
@comment MD5:debd9879c04fb6a822a28aee666bc621
@comment binary:0
opt/local/include/spot/mc/deadlock.hh
@comment MD5:faa09bf7177e602da05dd3be0c0eaebb
@comment binary:0
opt/local/include/spot/mc/intersect.hh
@comment MD5:250923aa6c8c5ab6c7cf68827f86f998
@comment binary:0
opt/local/include/spot/mc/lpar13.hh
@comment MD5:f7cea4b81452401fe30ea226e5bb7e2c
@comment binary:0
opt/local/include/spot/mc/mc.hh
@comment MD5:574cf13c94108d29fca920e7b520d771
@comment binary:0
opt/local/include/spot/mc/mc_instanciator.hh
@comment MD5:40e33f49ef5cf6abea14d0f54fa6eb9a
@comment binary:0
opt/local/include/spot/mc/unionfind.hh
@comment MD5:d09c10edb09cc6cef1c9c03f252f72eb
@comment binary:0
opt/local/include/spot/mc/utils.hh
@comment MD5:a1e17071581c8ac3aeb3b42dfc470a0c
@comment binary:0
opt/local/include/spot/misc/_config.h
@comment MD5:4c12a053722c989099bca49719c27a58
@comment binary:0
opt/local/include/spot/misc/bareword.hh
@comment MD5:f45f0e5610bdec1c3525deff16caedcb
@comment binary:0
opt/local/include/spot/misc/bddlt.hh
@comment MD5:15fd26d6d2a27662ce3b08d190f22434
@comment binary:0
opt/local/include/spot/misc/bitset.hh
@comment MD5:c441f2621ab5265a44a3f6b03d2eb0d8
@comment binary:0
opt/local/include/spot/misc/bitvect.hh
@comment MD5:c9e578b8e3f2d18dda1ae3f721cc4a5f
@comment binary:0
opt/local/include/spot/misc/casts.hh
@comment MD5:2e87099f99ce46d3bf84a672212e68fa
@comment binary:0
opt/local/include/spot/misc/clz.hh
@comment MD5:63c7d7d122856f8e25164baefdfff49c
@comment binary:0
opt/local/include/spot/misc/common.hh
@comment MD5:f632ad9e45ee58fcd8246302877ef969
@comment binary:0
opt/local/include/spot/misc/escape.hh
@comment MD5:0446d0702abfec36f9656d65e9c221fd
@comment binary:0
opt/local/include/spot/misc/fixpool.hh
@comment MD5:50ac46f07fe1872934034a6bcb476564
@comment binary:0
opt/local/include/spot/misc/formater.hh
@comment MD5:d2d4cf5cb394fff9de1694b86f7313fb
@comment binary:0
opt/local/include/spot/misc/hash.hh
@comment MD5:2ce629ebdba4775aba4ac0ed210f8121
@comment binary:0
opt/local/include/spot/misc/hashfunc.hh
@comment MD5:f0bae9a9706150e552625f925de47a4f
@comment binary:0
opt/local/include/spot/misc/intvcmp2.hh
@comment MD5:ef23eb6737b70a3beca53a3ddc2dd65a
@comment binary:0
opt/local/include/spot/misc/intvcomp.hh
@comment MD5:e366b136554753ed7917b4c0663d6e2e
@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:a6d31e93b8f4f80050fbf758b9d8a5cd
@comment binary:0
opt/local/include/spot/misc/memusage.hh
@comment MD5:0886d62a66f8e523e98d458ff5dc1280
@comment binary:0
opt/local/include/spot/misc/minato.hh
@comment MD5:7167a20260cc1532b3553df5453566f0
@comment binary:0
opt/local/include/spot/misc/mspool.hh
@comment MD5:d073618c30e0381cf549db519c9503dc
@comment binary:0
opt/local/include/spot/misc/optionmap.hh
@comment MD5:b7c470018db1fe519865d1d3b1682351
@comment binary:0
opt/local/include/spot/misc/permute.hh
@comment MD5:7b7d75396960fe3ef7238c54d9a63cd3
@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:a0e7e3eb6d7750bd3009e41c42ad3951
@comment binary:0
opt/local/include/spot/misc/satsolver.hh
@comment MD5:b06177b4101570f3b717fda648a2b142
@comment binary:0
opt/local/include/spot/misc/timer.hh
@comment MD5:f1dfcab3ec11aafdf78e31d8c275cea1
@comment binary:0
opt/local/include/spot/misc/tmpfile.hh
@comment MD5:5c492edf4f772126f18594894b980927
@comment binary:0
opt/local/include/spot/misc/trival.hh
@comment MD5:f5839c8a0e703e3e3e7dc70835902d5f
@comment binary:0
opt/local/include/spot/misc/version.hh
@comment MD5:a9eb74ed7bc63c586ba54ba02a3d3f78
@comment binary:0
opt/local/include/spot/parseaut/public.hh
@comment MD5:1a7cb272dbe83ec66a684bf483013e6f
@comment binary:0
opt/local/include/spot/ta/ta.hh
@comment MD5:6528ebb57c3646e93a939b03e5f9d683
@comment binary:0
opt/local/include/spot/ta/taexplicit.hh
@comment MD5:ecc6a289aad7ddc3bc5d9c580104bb32
@comment binary:0
opt/local/include/spot/ta/taproduct.hh
@comment MD5:0e68f49e4c154bc25acb3c499aa3d31e
@comment binary:0
opt/local/include/spot/ta/tgta.hh
@comment MD5:600503a0621b9dca52b84d3015bf544f
@comment binary:0
opt/local/include/spot/ta/tgtaexplicit.hh
@comment MD5:4ef3c0c16eb4ffbbfd6fd6df5aff3ff1
@comment binary:0
opt/local/include/spot/ta/tgtaproduct.hh
@comment MD5:8b9d89cbf38e581fb40d51af65163016
@comment binary:0
opt/local/include/spot/taalgos/dot.hh
@comment MD5:387b525fa1b43e335f5cd0c718e0cede
@comment binary:0
opt/local/include/spot/taalgos/emptinessta.hh
@comment MD5:5985b62ff32fd1f013ccfcf940b6d895
@comment binary:0
opt/local/include/spot/taalgos/minimize.hh
@comment MD5:fc1f30c9bb1a61fdc0596253968fd187
@comment binary:0
opt/local/include/spot/taalgos/reachiter.hh
@comment MD5:c9ccddf2fa9585e20e49c7396f5f9bc7
@comment binary:0
opt/local/include/spot/taalgos/statessetbuilder.hh
@comment MD5:8001e7d3f3f17017a865d4f7f0521a3a
@comment binary:0
opt/local/include/spot/taalgos/stats.hh
@comment MD5:41a10de02a0ad569f0048f9f60ca34d8
@comment binary:0
opt/local/include/spot/taalgos/tgba2ta.hh
@comment MD5:e6ee400990bb0335cafb1c0bcd86580c
@comment binary:0
opt/local/include/spot/tl/apcollect.hh
@comment MD5:b868758d7cdc61f0231795d0bf16bbb7
@comment binary:0
opt/local/include/spot/tl/contain.hh
@comment MD5:ab1295a1e018fc4754cbce2aa9d205be
@comment binary:0
opt/local/include/spot/tl/declenv.hh
@comment MD5:e22056a020f067c78275a04ed4f1d6f7
@comment binary:0
opt/local/include/spot/tl/defaultenv.hh
@comment MD5:c645bcf35ffc6a361937b710d27601ba
@comment binary:0
opt/local/include/spot/tl/delta2.hh
@comment MD5:e966cf06b138efcdc524253c4fbeb525
@comment binary:0
opt/local/include/spot/tl/dot.hh
@comment MD5:35f21bd1fcfa4b4c19cbaa5507e2c80e
@comment binary:0
opt/local/include/spot/tl/environment.hh
@comment MD5:6b210543bfc2988bbaa2be9a3f696d10
@comment binary:0
opt/local/include/spot/tl/exclusive.hh
@comment MD5:1dd3c9b33fad53004ea61878109467a2
@comment binary:0
opt/local/include/spot/tl/formula.hh
@comment MD5:e44d8728cedfcfb0dcb8fa7fbf5500b6
@comment binary:0
opt/local/include/spot/tl/hierarchy.hh
@comment MD5:3958142afaf1a8b336c55fb4d0ac6e29
@comment binary:0
opt/local/include/spot/tl/length.hh
@comment MD5:ad5e426b264763ad8aa8a81fdb5cab3e
@comment binary:0
opt/local/include/spot/tl/ltlf.hh
@comment MD5:dc976d647c07a39af1faf369ffcd41e8
@comment binary:0
opt/local/include/spot/tl/mutation.hh
@comment MD5:efc6d1ca45d743ca2c51e7874b2939bd
@comment binary:0
opt/local/include/spot/tl/nenoform.hh
@comment MD5:ad784002c46fe59f08268edf7e5351c6
@comment binary:0
opt/local/include/spot/tl/parse.hh
@comment MD5:6cf0b672915e99351bc0c3638e0091b2
@comment binary:0
opt/local/include/spot/tl/print.hh
@comment MD5:fa5da2faf5be5d116fa094bd9883e390
@comment binary:0
opt/local/include/spot/tl/randomltl.hh
@comment MD5:34951318d23196dad280f1a891ea2167
@comment binary:0
opt/local/include/spot/tl/relabel.hh
@comment MD5:038d0b5f7c6b34dedb752e300d78a669
@comment binary:0
opt/local/include/spot/tl/remove_x.hh
@comment MD5:98a2710a9a5412540b768268df835f53
@comment binary:0
opt/local/include/spot/tl/simplify.hh
@comment MD5:86299742fd95cffbedc4a6ce85f092f4
@comment binary:0
opt/local/include/spot/tl/snf.hh
@comment MD5:3f456ba34e59dbcb63c64cedbcc4dc85
@comment binary:0
opt/local/include/spot/tl/sonf.hh
@comment MD5:b9744179b42703cfb89d8a3059cad66f
@comment binary:0
opt/local/include/spot/tl/unabbrev.hh
@comment MD5:890b23479b8e233ebe1008bd25bab995
@comment binary:0
opt/local/include/spot/twa/acc.hh
@comment MD5:87cf09cf0a278681166ed0f4951515d4
@comment binary:0
opt/local/include/spot/twa/bdddict.hh
@comment MD5:98b560beb0976c609b19d6395eb66e46
@comment binary:0
opt/local/include/spot/twa/bddprint.hh
@comment MD5:99c72244c6ebba4d76192148eb031e26
@comment binary:0
opt/local/include/spot/twa/formula2bdd.hh
@comment MD5:4410088568a8293067725c25645e611d
@comment binary:0
opt/local/include/spot/twa/fwd.hh
@comment MD5:05424f0e6d7ba00fda3dc82f80985a03
@comment binary:0
opt/local/include/spot/twa/taatgba.hh
@comment MD5:cacb6d3cfaf86a6baca11233c1356464
@comment binary:0
opt/local/include/spot/twa/twa.hh
@comment MD5:ac341fb0a90938cfa8b2c633f3cb9535
@comment binary:0
opt/local/include/spot/twa/twagraph.hh
@comment MD5:ae3e35414db458d1b409299beea4c8b0
@comment binary:0
opt/local/include/spot/twa/twaproduct.hh
@comment MD5:5fd982f20cc7fd4e14cd4fef4bb71ab1
@comment binary:0
opt/local/include/spot/twaalgos/aiger.hh
@comment MD5:c616fb9943247b33a51a9fa815743fbb
@comment binary:0
opt/local/include/spot/twaalgos/alternation.hh
@comment MD5:a0db45a83599e9834bc8e35f23d813e2
@comment binary:0
opt/local/include/spot/twaalgos/are_isomorphic.hh
@comment MD5:f20a931bee7623dd13a94eb428e189ab
@comment binary:0
opt/local/include/spot/twaalgos/backprop.hh
@comment MD5:4230fb29f6dbe98d0f30d7b0e1a4410b
@comment binary:0
opt/local/include/spot/twaalgos/bfssteps.hh
@comment MD5:98c2c6ffcf5b5555a26b49fe9226d2c9
@comment binary:0
opt/local/include/spot/twaalgos/canonicalize.hh
@comment MD5:3e6b26ef5689e3704346839d0682f10a
@comment binary:0
opt/local/include/spot/twaalgos/cleanacc.hh
@comment MD5:d65bd7ac2e8d1eb0e8b20961969ed53f
@comment binary:0
opt/local/include/spot/twaalgos/cobuchi.hh
@comment MD5:5c38c964fd8cc7e15fe102413951041f
@comment binary:0
opt/local/include/spot/twaalgos/complement.hh
@comment MD5:7375c115ae219fd6ed477ccc945be98c
@comment binary:0
opt/local/include/spot/twaalgos/complete.hh
@comment MD5:a40cde61a27e7c34901e82c6516f3daf
@comment binary:0
opt/local/include/spot/twaalgos/compsusp.hh
@comment MD5:8b666432920545c7f2bba948e8953d5e
@comment binary:0
opt/local/include/spot/twaalgos/contains.hh
@comment MD5:3b1ba8a1d3f4cf72f08fb36771beef4b
@comment binary:0
opt/local/include/spot/twaalgos/copy.hh
@comment MD5:50a0b857dece79919f527cd5fc95b536
@comment binary:0
opt/local/include/spot/twaalgos/couvreurnew.hh
@comment MD5:11b977f81ed590087f59cc3dcc514944
@comment binary:0
opt/local/include/spot/twaalgos/cycles.hh
@comment MD5:e2c8f3240211298d346b7bde60b948a5
@comment binary:0
opt/local/include/spot/twaalgos/dbranch.hh
@comment MD5:793ac15fb0f6d53178905405bdd87d6d
@comment binary:0
opt/local/include/spot/twaalgos/deadends.hh
@comment MD5:63e8426da98a7c5d3c5780f53e4d37ea
@comment binary:0
opt/local/include/spot/twaalgos/degen.hh
@comment MD5:f1eaa4e8dfa050cb3610bde93acf3996
@comment binary:0
opt/local/include/spot/twaalgos/determinize.hh
@comment MD5:5fac29b13737b709888ae9a6cd0f8eec
@comment binary:0
opt/local/include/spot/twaalgos/dot.hh
@comment MD5:a6c58f91cf2ed6e2492e007611d939be
@comment binary:0
opt/local/include/spot/twaalgos/dtbasat.hh
@comment MD5:3f295adc3d4f872d831d5e8f54a41745
@comment binary:0
opt/local/include/spot/twaalgos/dtwasat.hh
@comment MD5:958719fc0307c69f9cacb88b3e520378
@comment binary:0
opt/local/include/spot/twaalgos/dualize.hh
@comment MD5:2e146dfaeb0801811dd46a39bb01ccac
@comment binary:0
opt/local/include/spot/twaalgos/emptiness.hh
@comment MD5:42862359df457b2e47e66608d3013995
@comment binary:0
opt/local/include/spot/twaalgos/emptiness_stats.hh
@comment MD5:6fb0efcd671dc32e7ac314127fbd5c52
@comment binary:0
opt/local/include/spot/twaalgos/forq_contains.hh
@comment MD5:f6312e948d22d5e2fbeee9a32fca4591
@comment binary:0
opt/local/include/spot/twaalgos/game.hh
@comment MD5:fec08b99f561a8d3081311453e0cea3a
@comment binary:0
opt/local/include/spot/twaalgos/genem.hh
@comment MD5:7d0a18c04a266d35ff8570d82137caba
@comment binary:0
opt/local/include/spot/twaalgos/gfguarantee.hh
@comment MD5:5483551df45ec4833778be4c2c0fb200
@comment binary:0
opt/local/include/spot/twaalgos/given.hh
@comment MD5:ec243cea7a315d6f4baad131fb9ad96a
@comment binary:0
opt/local/include/spot/twaalgos/gtec/ce.hh
@comment MD5:99f208933b23f7c20d7026ae6eb93a87
@comment binary:0
opt/local/include/spot/twaalgos/gtec/gtec.hh
@comment MD5:c12dba09a1194e633ef9d7649805302a
@comment binary:0
opt/local/include/spot/twaalgos/gtec/sccstack.hh
@comment MD5:da2230c4313250559eec328fdea6d2f5
@comment binary:0
opt/local/include/spot/twaalgos/gtec/status.hh
@comment MD5:7ecc093750b4d0640515f666f738e2e0
@comment binary:0
opt/local/include/spot/twaalgos/gv04.hh
@comment MD5:e3864bb4508aa08d063cbb1fa5f0590b
@comment binary:0
opt/local/include/spot/twaalgos/hoa.hh
@comment MD5:0a205b3360f696c098e49da09be882c5
@comment binary:0
opt/local/include/spot/twaalgos/iscolored.hh
@comment MD5:4cf5db32d268e34d520ecfdb75373c95
@comment binary:0
opt/local/include/spot/twaalgos/isdet.hh
@comment MD5:2ddccc51105bc6959498c1cdcaaef91d
@comment binary:0
opt/local/include/spot/twaalgos/isunamb.hh
@comment MD5:218c81b010e8a3a2b9bddd87956358c3
@comment binary:0
opt/local/include/spot/twaalgos/isweakscc.hh
@comment MD5:78bbd25477cda458ff6eadc3a66b7957
@comment binary:0
opt/local/include/spot/twaalgos/langmap.hh
@comment MD5:c7a584a46f80ae61cf39f186445cc63a
@comment binary:0
opt/local/include/spot/twaalgos/lbtt.hh
@comment MD5:f5dcd65d024291342b29342f25553b78
@comment binary:0
opt/local/include/spot/twaalgos/ltl2taa.hh
@comment MD5:27a178187564a23b2e81a9800426d5dc
@comment binary:0
opt/local/include/spot/twaalgos/ltl2tgba_fm.hh
@comment MD5:e0876922859e95a3636ce2db9b6a2112
@comment binary:0
opt/local/include/spot/twaalgos/ltlf2dfa.hh
@comment MD5:4c15e975e0490ba62e7d4eaf001af1d7
@comment binary:0
opt/local/include/spot/twaalgos/magic.hh
@comment MD5:ac2df41c7cb85306ccfdfaab7337e437
@comment binary:0
opt/local/include/spot/twaalgos/mask.hh
@comment MD5:5677c773a08240ecb6f25970b0de42cd
@comment binary:0
opt/local/include/spot/twaalgos/matchstates.hh
@comment MD5:95a05315056fc937d48873a475719a30
@comment binary:0
opt/local/include/spot/twaalgos/mcs.hh
@comment MD5:f3bd52293986f7a0224de8b2833cc39b
@comment binary:0
opt/local/include/spot/twaalgos/mealy_machine.hh
@comment MD5:2007cf0d5f33848bb2c4534d2bac1473
@comment binary:0
opt/local/include/spot/twaalgos/minimize.hh
@comment MD5:dd6a675e856b3dfd0cf219b5551150ed
@comment binary:0
opt/local/include/spot/twaalgos/mtdtwa.hh
@comment MD5:34402e6cdc8e5850d1c58ae9e67ca0b7
@comment binary:0
opt/local/include/spot/twaalgos/neverclaim.hh
@comment MD5:19c3177f795468cc5fb772501931a88d
@comment binary:0
opt/local/include/spot/twaalgos/parity.hh
@comment MD5:85a1e55f5b2a2b86a581ada7be0c05b8
@comment binary:0
opt/local/include/spot/twaalgos/postproc.hh
@comment MD5:4f2aef855b8fa5a8f93b413d3daea045
@comment binary:0
opt/local/include/spot/twaalgos/powerset.hh
@comment MD5:fbdd7a23ea036bdba616bf624a568b76
@comment binary:0
opt/local/include/spot/twaalgos/product.hh
@comment MD5:7a60ed41aecdd59a16bfc673366d67c5
@comment binary:0
opt/local/include/spot/twaalgos/randomgraph.hh
@comment MD5:5532a1768e7f733b6fec12e4d4b185d9
@comment binary:0
opt/local/include/spot/twaalgos/randomize.hh
@comment MD5:72df11b70f2cf7fa6e7b3a04dc6bdf05
@comment binary:0
opt/local/include/spot/twaalgos/reachiter.hh
@comment MD5:d3397e6c2013c5fc82b421b688daf69b
@comment binary:0
opt/local/include/spot/twaalgos/relabel.hh
@comment MD5:8a0049c685c72a6cf4f9249dec78467e
@comment binary:0
opt/local/include/spot/twaalgos/remfin.hh
@comment MD5:936a853812b7ebbab3cb654d88babc51
@comment binary:0
opt/local/include/spot/twaalgos/remprop.hh
@comment MD5:624553856c500bcc7d7388b3815334c4
@comment binary:0
opt/local/include/spot/twaalgos/sbacc.hh
@comment MD5:7f136d39b1bd714c0516a90f41509966
@comment binary:0
opt/local/include/spot/twaalgos/sccfilter.hh
@comment MD5:3413d8c06ba2f71a799952e8569b731e
@comment binary:0
opt/local/include/spot/twaalgos/sccinfo.hh
@comment MD5:ebf35c7e1c0bd354cc3f41b5bcec0bed
@comment binary:0
opt/local/include/spot/twaalgos/se05.hh
@comment MD5:1c8dd5a0ff8608c1371d72950052730e
@comment binary:0
opt/local/include/spot/twaalgos/sepsets.hh
@comment MD5:c1541b8e31602a25562d58d12a689755
@comment binary:0
opt/local/include/spot/twaalgos/simulation.hh
@comment MD5:f65468aa6b62c8bec453451954c0600d
@comment binary:0
opt/local/include/spot/twaalgos/split.hh
@comment MD5:669c3833322b69d18b1c275283c347f2
@comment binary:0
opt/local/include/spot/twaalgos/stats.hh
@comment MD5:9b8db0dbb9125889e032f868799405a6
@comment binary:0
opt/local/include/spot/twaalgos/strength.hh
@comment MD5:999fe2c9c33f09a967b3d10d0f87774a
@comment binary:0
opt/local/include/spot/twaalgos/stripacc.hh
@comment MD5:5ee65dfd0d2667581cfe72f65364762a
@comment binary:0
opt/local/include/spot/twaalgos/stutter.hh
@comment MD5:14e7f5b7f1113d4db9c46144ee2f82a0
@comment binary:0
opt/local/include/spot/twaalgos/sum.hh
@comment MD5:7292eaad4df083d26970d6243bdfde8b
@comment binary:0
opt/local/include/spot/twaalgos/synthesis.hh
@comment MD5:67f9b2518bd9118683d0719f897253dc
@comment binary:0
opt/local/include/spot/twaalgos/tau03.hh
@comment MD5:8e2e98270f44dc6f3f6d61456863da8b
@comment binary:0
opt/local/include/spot/twaalgos/tau03opt.hh
@comment MD5:65bdba1204d4e006996136e379eacf30
@comment binary:0
opt/local/include/spot/twaalgos/toparity.hh
@comment MD5:5329c02d3aa4e49056563be306cf30fa
@comment binary:0
opt/local/include/spot/twaalgos/totgba.hh
@comment MD5:60c17fbc68a32d91c6b63e56194703e0
@comment binary:0
opt/local/include/spot/twaalgos/toweak.hh
@comment MD5:a546cfd8f5abe34f98402606414ec0b5
@comment binary:0
opt/local/include/spot/twaalgos/translate.hh
@comment MD5:8c34e039eb4039c2442b3362835e85ed
@comment binary:0
opt/local/include/spot/twaalgos/word.hh
@comment MD5:005a7aceee016cc955b5919dfd64d7d1
@comment binary:0
opt/local/include/spot/twaalgos/zlktree.hh
@comment MD5:96c2eb8c5fe8e91e3a92701371a68b95
@comment binary:0
opt/local/include/spot/twacube/cube.hh
@comment MD5:5aa75621a8636788f44cee78f665a32a
@comment binary:0
opt/local/include/spot/twacube/fwd.hh
@comment MD5:dd62989dfc4b03127d2942489e58c09a
@comment binary:0
opt/local/include/spot/twacube/twacube.hh
@comment MD5:49707acbbdb2b0cbb5f0bedacb69dd19
@comment binary:0
opt/local/include/spot/twacube_algos/convert.hh
@comment MD5:4ebdf92fdd503f7374e1d8e82d408d5d
@comment binary:0
opt/local/lib/libbddx.0.dylib
@comment MD5:82e3a815b2210a37467438f27a68c541
@comment binary:1
opt/local/lib/libbddx.a
@comment MD5:acbcef124498b5e00c5590f5f01d816b
@comment binary:0
opt/local/lib/libbddx.dylib
@comment MD5:82e3a815b2210a37467438f27a68c541
@comment binary:0
opt/local/lib/libbddx.la
@comment MD5:33133f98fa135f272e311ca0cec06461
@comment binary:0
opt/local/lib/libspot.0.dylib
@comment MD5:08879862ca1badecdcae8563951072e7
@comment binary:1
opt/local/lib/libspot.a
@comment MD5:a83b0ce934e4b3cd9d87c8b8f0f5778a
@comment binary:0
opt/local/lib/libspot.dylib
@comment MD5:08879862ca1badecdcae8563951072e7
@comment binary:0
opt/local/lib/libspot.la
@comment MD5:4044a5a4f6ff19dd0dc35d86155bc214
@comment binary:0
opt/local/lib/libspotgen.0.dylib
@comment MD5:d9b06bbb1b16afd27b32a64ae640df0f
@comment binary:1
opt/local/lib/libspotgen.a
@comment MD5:0a66ac808f34183a60f265e4b2c82367
@comment binary:0
opt/local/lib/libspotgen.dylib
@comment MD5:d9b06bbb1b16afd27b32a64ae640df0f
@comment binary:0
opt/local/lib/libspotgen.la
@comment MD5:13bf67b661dac5c161daf9ec6d612301
@comment binary:0
opt/local/lib/libspotltsmin.0.dylib
@comment MD5:79e330d19cdb97ed64e07917e00753fe
@comment binary:1
opt/local/lib/libspotltsmin.a
@comment MD5:eae538eaffd37684f5ce837c06bcd653
@comment binary:0
opt/local/lib/libspotltsmin.dylib
@comment MD5:79e330d19cdb97ed64e07917e00753fe
@comment binary:0
opt/local/lib/libspotltsmin.la
@comment MD5:f9bc4354892836357dfd9eafe8d63efb
@comment binary:0
opt/local/lib/pkgconfig/libbddx.pc
@comment MD5:112209530401f85f62086c147fcf502a
@comment binary:0
opt/local/lib/pkgconfig/libspot.pc
@comment MD5:095324071eb37d1662035b3b93d8fe5a
@comment binary:0
opt/local/lib/pkgconfig/libspotgen.pc
@comment MD5:3c004fe1cb7e8917b7f129c5f0f9589b
@comment binary:0
opt/local/lib/pkgconfig/libspotltsmin.pc
@comment MD5:bdaa54093ec1f71abbd70348133f5219
@comment binary:0
opt/local/share/doc/spot/tl.pdf
@comment MD5:ddc6e216bc2abdee541ef0e5b2869fb7
@comment binary:0
opt/local/share/man/man1/autcross.1.gz
@comment MD5:3d22050d4e073feca2560455ad8c6f2d
@comment binary:0
opt/local/share/man/man1/autfilt.1.gz
@comment MD5:ea5d3a9d758bb4dd17ad177fc201a830
@comment binary:0
opt/local/share/man/man1/dstar2tgba.1.gz
@comment MD5:21f3fbe064719adaf1325bdfa7683a5b
@comment binary:0
opt/local/share/man/man1/genaut.1.gz
@comment MD5:b733c08ff7c4c266fd6bb15addcfb13d
@comment binary:0
opt/local/share/man/man1/genltl.1.gz
@comment MD5:ca34a4c07a9bf6a87b5fdeeb359c71fe
@comment binary:0
opt/local/share/man/man1/ltl2tgba.1.gz
@comment MD5:89b44ec59d2086d7e860cc3eceee567a
@comment binary:0
opt/local/share/man/man1/ltl2tgta.1.gz
@comment MD5:9301f52fee22ce661c5f0aa5020421d7
@comment binary:0
opt/local/share/man/man1/ltlcross.1.gz
@comment MD5:bde07262cab1ae1f56aa31a0be2a20c6
@comment binary:0
opt/local/share/man/man1/ltldo.1.gz
@comment MD5:9e85961038ed810f4fd5ffe376378073
@comment binary:0
opt/local/share/man/man1/ltlf2dfa.1.gz
@comment MD5:ffbf4e468abbd762e13b1f98d9ba1661
@comment binary:0
opt/local/share/man/man1/ltlfilt.1.gz
@comment MD5:cea8aae7fc555a2b2ab2a409cbfb050e
@comment binary:0
opt/local/share/man/man1/ltlfsynt.1.gz
@comment MD5:34ba46a810b6570d77c735bb92159479
@comment binary:0
opt/local/share/man/man1/ltlgrind.1.gz
@comment MD5:eedd0e05dd2f2acdc5959295fce3b635
@comment binary:0
opt/local/share/man/man1/ltlmix.1.gz
@comment MD5:e9b570d1b9f6a14166638dc3ae699767
@comment binary:0
opt/local/share/man/man1/ltlsynt.1.gz
@comment MD5:16c41705eb5a1ba0d59cb19920debe4f
@comment binary:0
opt/local/share/man/man1/randaut.1.gz
@comment MD5:b1cc3b9262c280fbae97e843ab0d824a
@comment binary:0
opt/local/share/man/man1/randltl.1.gz
@comment MD5:28f114185103767ebcf3285db2c846d7
@comment binary:0
opt/local/share/man/man7/spot-x.7.gz
@comment MD5:52f5b1c5e15f09da5c0ea97219316726
@comment binary:0
opt/local/share/man/man7/spot.7.gz
@comment MD5:dcb5485362e68a66fc21a23feb724c8e
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
