smvceviz

Visualize the Traces of NuSMV and NuXMV


License
GPL-3.0
Install
pip install smvceviz==0.1.1

Documentation

smvceviz

Downloads Latest Version Supported Python versions Supported Python implementations Development Status Download format License

Visualize the Traces of NuSMV and NuXMV