| Metadata-Version: |
2.1 |
| Name: |
argus-temporal-logic |
| Version: |
0.1.4 |
| Author: |
Anand Balakrishnan |
| Project-Url: |
Source Code, https://github.com/anand-bala/argus |
| License: |
BSD-3-Clause |
| Classifier: |
Intended Audience :: Science/Research |
| Classifier: |
License :: OSI Approved :: BSD License |
| Classifier: |
Programming Language :: Python :: 3 :: Only |
| Classifier: |
Programming Language :: Python :: 3 |
| Classifier: |
Programming Language :: Python :: 3.8 |
| Classifier: |
Programming Language :: Python :: 3.9 |
| Classifier: |
Programming Language :: Python :: 3.10 |
| Classifier: |
Programming Language :: Python :: 3.11 |
| Classifier: |
Programming Language :: Python :: 3.12 |
| Classifier: |
Programming Language :: Python :: Implementation :: CPython |
| Classifier: |
Programming Language :: Python :: Implementation :: PyPy |
| Classifier: |
Programming Language :: Rust |
| Requires-Python: |
>=3.8 |
| Requires-Dist: |
typing-extensions |
| Requires-Dist: |
mypy; extra == "dev" |
| Requires-Dist: |
ruff; extra == "dev" |
| Requires-Dist: |
Flake8-pyproject; extra == "dev" |
| Requires-Dist: |
flake8-bugbear; extra == "dev" |
| Requires-Dist: |
flake8-pyi; extra == "dev" |
| Requires-Dist: |
isort; extra == "dev" |
| Requires-Dist: |
black; extra == "dev" |
| Requires-Dist: |
pytest; extra == "test" |
| Requires-Dist: |
coverage; extra == "test" |
| Requires-Dist: |
hypothesis[lark]; extra == "test" |
| Requires-Dist: |
metric-temporal-logic; extra == "test" |
| Requires-Dist: |
rtamt; extra == "test" |
| Provides-Extra: |
dev |
| Provides-Extra: |
test |
| Description-Content-Type: |
text/markdown; charset=UTF-8; variant=GFM |