AUTHORS.md
CONTRIBUTING.md
HISTORY.md
LICENSE
MANIFEST.in
README.md
setup.cfg
setup.py
docs/authors.md
docs/contributing.md
docs/implement-your-automaton.md
docs/index.md
docs/install.md
docs/introduction.md
docs/quickstart.md
docs/references.md
docs/release-history.md
pythomata/__init__.py
pythomata/__version__.py
pythomata/_internal_utils.py
pythomata/alphabets.py
pythomata/core.py
pythomata/simulator.py
pythomata/utils.py
pythomata.egg-info/PKG-INFO
pythomata.egg-info/SOURCES.txt
pythomata.egg-info/dependency_links.txt
pythomata.egg-info/not-zip-safe
pythomata.egg-info/requires.txt
pythomata.egg-info/top_level.txt
pythomata/impl/__init__.py
pythomata/impl/simple.py
pythomata/impl/symbolic.py
tests/.coverage
tests/.strategies.py.swp
tests/__init__.py
tests/conftest.py
tests/strategies.py
tests/test_alphabets.py
tests/test_docs.py
tests/test_simple_dfa.py
tests/test_simple_nfa.py
tests/test_symbolic_automaton.py
tests/.hypothesis/examples/05ac3323a9944f6b/052c52c9c7d981c6
tests/.hypothesis/examples/05ac3323a9944f6b/4edca579c968748c
tests/.hypothesis/examples/05ac3323a9944f6b/61ac0139cf9d413b
tests/.hypothesis/examples/05ac3323a9944f6b/849ba3674b0f51f0
tests/.hypothesis/examples/05ac3323a9944f6b/abebf0f1d5d3daa2
tests/.hypothesis/examples/05ac3323a9944f6b/b782714f3961961a
tests/.hypothesis/examples/05ac3323a9944f6b/b82b0e547966d216
tests/.hypothesis/examples/077e904b1f4b68e1/64f1988813f54bb8
tests/.hypothesis/examples/077e904b1f4b68e1/bec021b4f368e306
tests/.hypothesis/examples/07834baa4177c981/1086a78797317d2d
tests/.hypothesis/examples/07834baa4177c981/bec021b4f368e306
tests/.hypothesis/examples/1359a5602a8f5542/bec021b4f368e306
tests/.hypothesis/examples/16b06c2568f24005/1086a78797317d2d
tests/.hypothesis/examples/16b06c2568f24005/843c195eb5bafc9a
tests/.hypothesis/examples/16b06c2568f24005/bec021b4f368e306
tests/.hypothesis/examples/1c633004d58a5307/bec021b4f368e306
tests/.hypothesis/examples/26c8407f08dc6931/0f1ca6291f8de8de
tests/.hypothesis/examples/26c8407f08dc6931/1086a78797317d2d
tests/.hypothesis/examples/26c8407f08dc6931/bec021b4f368e306
tests/.hypothesis/examples/2ab1863ccf2080b9/1086a78797317d2d
tests/.hypothesis/examples/2ab1863ccf2080b9/bec021b4f368e306
tests/.hypothesis/examples/32a48f761c0ef974/933a4a80c747e9f7
tests/.hypothesis/examples/32a48f761c0ef974/bec021b4f368e306
tests/.hypothesis/examples/35d48c1758808091/1086a78797317d2d
tests/.hypothesis/examples/35d48c1758808091/843c195eb5bafc9a
tests/.hypothesis/examples/35d48c1758808091/bec021b4f368e306
tests/.hypothesis/examples/395aa39a53610ebe/bec021b4f368e306
tests/.hypothesis/examples/3b296149a412c67a/1086a78797317d2d
tests/.hypothesis/examples/3b296149a412c67a/bec021b4f368e306
tests/.hypothesis/examples/3bef790d57372c7b/3b986fda7c602fb7
tests/.hypothesis/examples/3bef790d57372c7b/bec021b4f368e306
tests/.hypothesis/examples/3edc98c8287a5788/1086a78797317d2d
tests/.hypothesis/examples/3edc98c8287a5788/bec021b4f368e306
tests/.hypothesis/examples/42f9bdf8e3340c06/1086a78797317d2d
tests/.hypothesis/examples/42f9bdf8e3340c06/bec021b4f368e306
tests/.hypothesis/examples/49949db7e6f296e2/bec021b4f368e306
tests/.hypothesis/examples/49949db7e6f296e2/bfe4fbeade6a6407
tests/.hypothesis/examples/4a9b8e7f64c13975/843c195eb5bafc9a
tests/.hypothesis/examples/5a44d0d475734986/1086a78797317d2d
tests/.hypothesis/examples/5a44d0d475734986/bec021b4f368e306
tests/.hypothesis/examples/5a44d0d475734986/c26eab6b7a78bd0a
tests/.hypothesis/examples/5b654198b454460b/1086a78797317d2d
tests/.hypothesis/examples/5b654198b454460b/bec021b4f368e306
tests/.hypothesis/examples/5b654198b454460b/c26eab6b7a78bd0a
tests/.hypothesis/examples/5bfd2baee92e8937/1086a78797317d2d
tests/.hypothesis/examples/5ebaa17651fad936/5a5e28551169c2c5
tests/.hypothesis/examples/5ebaa17651fad936/8413f38e6de90aa7
tests/.hypothesis/examples/6583d8395bf0080e/1086a78797317d2d
tests/.hypothesis/examples/6583d8395bf0080e/bec021b4f368e306
tests/.hypothesis/examples/6583d8395bf0080e/c26eab6b7a78bd0a
tests/.hypothesis/examples/6c80f57885a7392c/1086a78797317d2d
tests/.hypothesis/examples/6c80f57885a7392c/bec021b4f368e306
tests/.hypothesis/examples/6c80f57885a7392c/c26eab6b7a78bd0a
tests/.hypothesis/examples/6e8107595bb31781/1086a78797317d2d
tests/.hypothesis/examples/6e8107595bb31781/bec021b4f368e306
tests/.hypothesis/examples/6fb0d423a1f61155/0f1ca6291f8de8de
tests/.hypothesis/examples/70170706ad34fd85/1086a78797317d2d
tests/.hypothesis/examples/70170706ad34fd85/bec021b4f368e306
tests/.hypothesis/examples/71b2092dfa3424dd/bec021b4f368e306
tests/.hypothesis/examples/7449572632df8758/1086a78797317d2d
tests/.hypothesis/examples/7449572632df8758/bec021b4f368e306
tests/.hypothesis/examples/7449572632df8758/c26eab6b7a78bd0a
tests/.hypothesis/examples/79fdf067b5c14678/80d3cff8847549e0
tests/.hypothesis/examples/79fdf067b5c14678/e35ac815b628fa25
tests/.hypothesis/examples/7c0d4da3a4f0a749/1086a78797317d2d
tests/.hypothesis/examples/7e05ec046a3cb40d/1086a78797317d2d
tests/.hypothesis/examples/7e05ec046a3cb40d/bec021b4f368e306
tests/.hypothesis/examples/7f3ae3e7e9303b73/1086a78797317d2d
tests/.hypothesis/examples/7f3ae3e7e9303b73/bec021b4f368e306
tests/.hypothesis/examples/7f3ae3e7e9303b73/c26eab6b7a78bd0a
tests/.hypothesis/examples/848cc0af27e9e470/1086a78797317d2d
tests/.hypothesis/examples/848cc0af27e9e470/bec021b4f368e306
tests/.hypothesis/examples/8a17d6d84d7c199c/4b9bdb6fa2e7fc3b
tests/.hypothesis/examples/8a17d6d84d7c199c/bec021b4f368e306
tests/.hypothesis/examples/8b20e369aaca985b/843c195eb5bafc9a
tests/.hypothesis/examples/95996a93f36600fe/16d990124b5fbb13
tests/.hypothesis/examples/95996a93f36600fe/ee3ff712184d8d40
tests/.hypothesis/examples/9844e17ca45c5766/843c195eb5bafc9a
tests/.hypothesis/examples/a8875f68c3722357/1086a78797317d2d
tests/.hypothesis/examples/acf2e0be651e3cc6/3c0afd17d2db732d
tests/.hypothesis/examples/acf2e0be651e3cc6/441d4553854885ff
tests/.hypothesis/examples/acf2e0be651e3cc6/547ac54f1009861d
tests/.hypothesis/examples/acf2e0be651e3cc6/abebf0f1d5d3daa2
tests/.hypothesis/examples/acf2e0be651e3cc6/bba569c9ae3ac794
tests/.hypothesis/examples/acf2e0be651e3cc6/e71d4978d4e33956
tests/.hypothesis/examples/acf2e0be651e3cc6/ff89ef75fabf8dc4
tests/.hypothesis/examples/adeda7a6519414f6/1086a78797317d2d
tests/.hypothesis/examples/adeda7a6519414f6/bec021b4f368e306
tests/.hypothesis/examples/b40fac5019f072e3/bec021b4f368e306
tests/.hypothesis/examples/b5560ca88c8c7b4d/1086a78797317d2d
tests/.hypothesis/examples/b5560ca88c8c7b4d/bec021b4f368e306
tests/.hypothesis/examples/b5560ca88c8c7b4d/c26eab6b7a78bd0a
tests/.hypothesis/examples/b5d696a713d0f16c/20dd08cce993f1d5
tests/.hypothesis/examples/b5d696a713d0f16c/b779c31edef230f0
tests/.hypothesis/examples/b5d696a713d0f16c/bec021b4f368e306
tests/.hypothesis/examples/b70b0e83715e18a7/bec021b4f368e306
tests/.hypothesis/examples/b97997f871ae2832/1086a78797317d2d
tests/.hypothesis/examples/b97997f871ae2832/bec021b4f368e306
tests/.hypothesis/examples/b97997f871ae2832/c26eab6b7a78bd0a
tests/.hypothesis/examples/ba4da5991f4a2244/1086a78797317d2d
tests/.hypothesis/examples/ba4da5991f4a2244/bec021b4f368e306
tests/.hypothesis/examples/ba4da5991f4a2244/c26eab6b7a78bd0a
tests/.hypothesis/examples/bb0e13c3cefb9177/1086a78797317d2d
tests/.hypothesis/examples/bb0e13c3cefb9177/bec021b4f368e306
tests/.hypothesis/examples/bc1cfdcfd88a7b6e/0b2617a5336e67c4
tests/.hypothesis/examples/bc1cfdcfd88a7b6e/506ff820cd27a12d
tests/.hypothesis/examples/bc1cfdcfd88a7b6e/66cacb86ba3075b8
tests/.hypothesis/examples/bc1cfdcfd88a7b6e/8e84a70154d2a9a0
tests/.hypothesis/examples/bc1cfdcfd88a7b6e/9940a7b22b78e20f
tests/.hypothesis/examples/bc1cfdcfd88a7b6e/a0b63b91f02c0461
tests/.hypothesis/examples/bc1cfdcfd88a7b6e/abebf0f1d5d3daa2
tests/.hypothesis/examples/ca43c16810327313/1086a78797317d2d
tests/.hypothesis/examples/ca43c16810327313/bec021b4f368e306
tests/.hypothesis/examples/ca43c16810327313/c26eab6b7a78bd0a
tests/.hypothesis/examples/d05c0a0db2ac5b2b/1086a78797317d2d
tests/.hypothesis/examples/d4caa2260ca033ba/78cef765eff88c33
tests/.hypothesis/examples/d4caa2260ca033ba/bec021b4f368e306
tests/.hypothesis/examples/d9b3456da939564e/1086a78797317d2d
tests/.hypothesis/examples/dcf17ad2341f2adc/1086a78797317d2d
tests/.hypothesis/examples/dcf17ad2341f2adc/61f1771a813f395b
tests/.hypothesis/examples/dcf17ad2341f2adc/bec021b4f368e306
tests/.hypothesis/examples/dec04ea95d050511/29ccb1d2466ec903
tests/.hypothesis/examples/dec04ea95d050511/79b8edf82278f7c2
tests/.hypothesis/examples/dec04ea95d050511/97a5d6205d899a3b
tests/.hypothesis/examples/dec04ea95d050511/b83aca0874008118
tests/.hypothesis/examples/dec04ea95d050511/d65516684199b141
tests/.hypothesis/examples/dec91bd7241d7b27/1086a78797317d2d
tests/.hypothesis/examples/dec91bd7241d7b27/bec021b4f368e306
tests/.hypothesis/examples/df21d323733bd581/bec021b4f368e306
tests/.hypothesis/examples/df26f5c2753658d2/1086a78797317d2d
tests/.hypothesis/examples/df26f5c2753658d2/bec021b4f368e306
tests/.hypothesis/examples/df26f5c2753658d2/c26eab6b7a78bd0a
tests/.hypothesis/examples/ebcf93eb01a19a58/1086a78797317d2d
tests/.hypothesis/examples/ebcf93eb01a19a58/bec021b4f368e306
tests/.hypothesis/examples/ebcf93eb01a19a58/c26eab6b7a78bd0a
tests/.hypothesis/examples/ee37ca1abfe17ecc/1086a78797317d2d
tests/.hypothesis/examples/ee37ca1abfe17ecc/843c195eb5bafc9a
tests/.hypothesis/examples/ee37ca1abfe17ecc/bec021b4f368e306
tests/.hypothesis/examples/f1c537a824944998/bec021b4f368e306
tests/.hypothesis/examples/fbe77874ecd195e1/1086a78797317d2d
tests/.hypothesis/examples/fbe77874ecd195e1/bec021b4f368e306
tests/.hypothesis/examples/ff54a2eface4b1c6/bfe4fbeade6a6407
tests/.hypothesis/examples/ff6d4f12ae5396cc/1086a78797317d2d
tests/.hypothesis/examples/ffcf1e74d660fbce/1086a78797317d2d
tests/.hypothesis/examples/ffcf1e74d660fbce/bec021b4f368e306
tests/.hypothesis/examples/ffcf1e74d660fbce/c26eab6b7a78bd0a