Metadata-Version: 2.1
Name: psy-taliro
Version: 1.0.0b9
Summary: System-level verification library using STL
License: BSD-3-Clause
Author: Quinn Thibeault
Author-email: qthibeau@asu.edu
Requires-Python: >=3.8,<3.11
Classifier: License :: OSI Approved :: BSD License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Provides-Extra: pytaliro
Provides-Extra: rtamt
Provides-Extra: tltk
Requires-Dist: antlr4-python3-runtime (>=4.7)
Requires-Dist: attrs (>=21.0.0,<22.0.0)
Requires-Dist: matplotlib (>=3.5.2,<4.0.0)
Requires-Dist: numpy (>=1.21.5,<2.0.0)
Requires-Dist: py-taliro (>=0.2.1,<0.3.0) ; (sys_platform == "linux") and (extra == "pytaliro")
Requires-Dist: rtamt (>=0.3.5,<0.4.0) ; extra == "rtamt"
Requires-Dist: scipy (>=1.6.2,<2.0.0)
Requires-Dist: tltk-mtl (>=0.0.27,<0.0.28) ; (sys_platform == "linux") and (extra == "tltk")
Requires-Dist: typing-extensions (>=4.2.0,<5.0.0)
