Metadata-Version: 1.0
Name: pynusmv-tools
Version: 1.0rc6
Summary: Tools, examples and experiments that showcase the potential uses for PyNuSMV
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
Platform: UNKNOWN
