Metadata-Version: 1.1
Name: smvceviz
Version: 0.1
Summary: Visualize the Traces of NuSMV and NuXMV
Home-page: http://github.com/areku/smvceviz
Author: Alexander Weigl
Author-email: Alexander.Weigl@student.kit.edu
License: gpl-v3
Description: UNKNOWN
Platform: UNKNOWN
Classifier: Development Status :: 4 - Beta
Classifier: License :: OSI Approved :: GNU General Public License v3 (GPLv3)
Classifier: Operating System :: POSIX :: Linux
Classifier: Programming Language :: Python
Requires: Jinja2
