AUTHORS.md
CONTRIBUTING.md
HISTORY.md
LICENSE
MANIFEST.in
Pipfile
README.md
mkdocs.yml
pyproject.toml
setup.cfg
setup.py
docs/authors.md
docs/contributing.md
docs/grammars.md
docs/index.md
docs/references.md
docs/release-history.md
flloat/__init__.py
flloat/__version__.py
flloat/base.py
flloat/delta.py
flloat/flloat.py
flloat/helpers.py
flloat/ldlf.py
flloat/ltlf.py
flloat/pl.py
flloat/symbols.py
flloat.egg-info/PKG-INFO
flloat.egg-info/SOURCES.txt
flloat.egg-info/dependency_links.txt
flloat.egg-info/not-zip-safe
flloat.egg-info/requires.txt
flloat.egg-info/top_level.txt
flloat/parser/__init__.py
flloat/parser/ldlf.lark
flloat/parser/ldlf.py
flloat/parser/ltlf.lark
flloat/parser/ltlf.py
flloat/parser/pl.lark
flloat/parser/pl.py
tests/__init__.py
tests/conftest.py
tests/parsing.py
tests/strategies.py
tests/test_ldlf.py
tests/test_ltlf.py
tests/test_misc.py
tests/test_pl.py
tests/.hypothesis/examples/00b8099547529062/1086a78797317d2d
tests/.hypothesis/examples/00b8099547529062/bec021b4f368e306
tests/.hypothesis/examples/00b8099547529062/c26eab6b7a78bd0a
tests/.hypothesis/examples/05fde7097e3e5875/1086a78797317d2d
tests/.hypothesis/examples/05fde7097e3e5875/bec021b4f368e306
tests/.hypothesis/examples/05fde7097e3e5875/c26eab6b7a78bd0a
tests/.hypothesis/examples/0a868bf0301355d1/4edb5e19bb0e858b
tests/.hypothesis/examples/0a868bf0301355d1/bec021b4f368e306
tests/.hypothesis/examples/1388251895912e96/1086a78797317d2d
tests/.hypothesis/examples/1388251895912e96/bec021b4f368e306
tests/.hypothesis/examples/1388251895912e96/c26eab6b7a78bd0a
tests/.hypothesis/examples/214395a54b8fd952/1086a78797317d2d
tests/.hypothesis/examples/214395a54b8fd952/bec021b4f368e306
tests/.hypothesis/examples/214395a54b8fd952/c26eab6b7a78bd0a
tests/.hypothesis/examples/2a75b0ebfad37230/bec021b4f368e306
tests/.hypothesis/examples/31f9dfeaeea3f253/bec021b4f368e306
tests/.hypothesis/examples/38e03af5a40dfbf0/1086a78797317d2d
tests/.hypothesis/examples/38e03af5a40dfbf0/bec021b4f368e306
tests/.hypothesis/examples/38e03af5a40dfbf0/c26eab6b7a78bd0a
tests/.hypothesis/examples/3b424aebfce2f6e2/1086a78797317d2d
tests/.hypothesis/examples/3b424aebfce2f6e2/bec021b4f368e306
tests/.hypothesis/examples/3b424aebfce2f6e2/c26eab6b7a78bd0a
tests/.hypothesis/examples/3bf1e0d4b0a8c631/bec021b4f368e306
tests/.hypothesis/examples/43e670b23501a0eb/1086a78797317d2d
tests/.hypothesis/examples/43e670b23501a0eb/bec021b4f368e306
tests/.hypothesis/examples/43e670b23501a0eb/c26eab6b7a78bd0a
tests/.hypothesis/examples/4f4fc7389ab672c0/bec021b4f368e306
tests/.hypothesis/examples/4f4fc7389ab672c0/da5c39dfaccb07f3
tests/.hypothesis/examples/4f4fc7389ab672c0/e4125f1e659cbc3b
tests/.hypothesis/examples/59bb05bdcd851fc4/128d28469bc4dcb4
tests/.hypothesis/examples/59bb05bdcd851fc4/6c18423c55d8e855
tests/.hypothesis/examples/59bb05bdcd851fc4/bec021b4f368e306
tests/.hypothesis/examples/5e721f8b91b80e61/1086a78797317d2d
tests/.hypothesis/examples/5e721f8b91b80e61/bec021b4f368e306
tests/.hypothesis/examples/5e721f8b91b80e61/c26eab6b7a78bd0a
tests/.hypothesis/examples/68c615e1374984e8/1086a78797317d2d
tests/.hypothesis/examples/68c615e1374984e8/bec021b4f368e306
tests/.hypothesis/examples/68c615e1374984e8/c26eab6b7a78bd0a
tests/.hypothesis/examples/6f2e20c42dfd4c65/1086a78797317d2d
tests/.hypothesis/examples/6f2e20c42dfd4c65/bec021b4f368e306
tests/.hypothesis/examples/6f2e20c42dfd4c65/c26eab6b7a78bd0a
tests/.hypothesis/examples/7686f258aacaaf11/1086a78797317d2d
tests/.hypothesis/examples/7686f258aacaaf11/c26eab6b7a78bd0a
tests/.hypothesis/examples/7c98ce2402190f8b/bec021b4f368e306
tests/.hypothesis/examples/7e17063ea1eef962/1086a78797317d2d
tests/.hypothesis/examples/7e17063ea1eef962/bec021b4f368e306
tests/.hypothesis/examples/7e17063ea1eef962/c26eab6b7a78bd0a
tests/.hypothesis/examples/870bf6b109e979bf/1086a78797317d2d
tests/.hypothesis/examples/870bf6b109e979bf/c26eab6b7a78bd0a
tests/.hypothesis/examples/8931f8c536ff0700/1086a78797317d2d
tests/.hypothesis/examples/8931f8c536ff0700/bec021b4f368e306
tests/.hypothesis/examples/8931f8c536ff0700/c26eab6b7a78bd0a
tests/.hypothesis/examples/9cccaf135ee5beb0/1086a78797317d2d
tests/.hypothesis/examples/9cccaf135ee5beb0/bec021b4f368e306
tests/.hypothesis/examples/9cccaf135ee5beb0/c26eab6b7a78bd0a
tests/.hypothesis/examples/ad62266f6aab0b81/1086a78797317d2d
tests/.hypothesis/examples/ad62266f6aab0b81/bec021b4f368e306
tests/.hypothesis/examples/ad62266f6aab0b81/c26eab6b7a78bd0a
tests/.hypothesis/examples/b09d25ad9478d296/1086a78797317d2d
tests/.hypothesis/examples/b09d25ad9478d296/bec021b4f368e306
tests/.hypothesis/examples/b09d25ad9478d296/c26eab6b7a78bd0a
tests/.hypothesis/examples/c4e3045c6d9743e8/bec021b4f368e306
tests/.hypothesis/examples/c7e99d70513398a6/602914d8b3dd7fef
tests/.hypothesis/examples/c7e99d70513398a6/bec021b4f368e306
tests/.hypothesis/examples/c7e99d70513398a6/db908be05b1f000c
tests/.hypothesis/examples/ca163d0625377660/1086a78797317d2d
tests/.hypothesis/examples/ca163d0625377660/bec021b4f368e306
tests/.hypothesis/examples/ca163d0625377660/c26eab6b7a78bd0a
tests/.hypothesis/examples/cbe1e18534f46216/56aa5ce5025e9603
tests/.hypothesis/examples/cbe1e18534f46216/bec021b4f368e306
tests/.hypothesis/examples/cbe8a9dd853b9a22/bec021b4f368e306
tests/.hypothesis/examples/e6b4508cf67b48b8/0e8ef15abbc98f4a
tests/.hypothesis/examples/e6b4508cf67b48b8/bec021b4f368e306
tests/.hypothesis/examples/e7fef9012f5ef9e7/bec021b4f368e306
tests/.hypothesis/examples/ebad585885799f68/bec021b4f368e306
tests/.hypothesis/examples/f830c5582b1d6846/1086a78797317d2d
tests/.hypothesis/examples/f830c5582b1d6846/bec021b4f368e306
tests/.hypothesis/examples/f830c5582b1d6846/c26eab6b7a78bd0a