pyxmv

PyPI page
Home page
Author: Luca Di Stefano
License: MIT
Summary: (Unofficial) Python interface to nuXmv
Latest version: 0.6.0
Required dependencies: msgspec | pexpect | typer-slim
Optional dependencies: rich

Downloads last day: 0
Downloads last week: 17
Downloads last month: 29