Metadata-Version: 2.1
Name: pyxmv
Version: 0.5.0
Summary: (Unofficial) Python interface to nuXmv
License: MIT
Author: Luca Di Stefano
Author-email: luca.di.stefano@tuwien.ac.at
Requires-Python: >=3.10,<4.0
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Provides-Extra: full
Requires-Dist: msgspec (>=0.18.6,<0.19.0)
Requires-Dist: pexpect (>=4.9.0,<5.0.0)
Requires-Dist: rich (>=13.7.1,<14.0.0) ; extra == "full"
Requires-Dist: typer-slim (>=0.12.4,<0.13.0)
