Metadata-Version: 1.1
Name: pynusmv
Version: 1.0rc3
Summary: Embed NuSMV as a python library
Home-page: http://lvl.info.ucl.ac.be/Tools/PyNuSMV
Author: Simon BUSARD, Xavier GILLARD
Author-email: simon.busard@uclouvain.be, xavier.gillard@uclouvain.be
License: UNKNOWN
Description: UNKNOWN
Keywords: Symbolic model checking,Epistemic logic,Tools
Platform: UNKNOWN
Classifier: Development Status :: 3 - Alpha
Classifier: Topic :: Scientific/Engineering
Classifier: Programming Language :: Python :: 3 :: Only
Classifier: Programming Language :: Python :: 3.5
Classifier: Programming Language :: Python :: 3.6
Classifier: Operating System :: POSIX :: Linux
Classifier: Operating System :: MacOS :: MacOS X
Classifier: Programming Language :: Python :: Implementation :: CPython
Classifier: License :: OSI Approved :: GNU Lesser General Public License v3 or later (LGPLv3+)
