haitianwang / pynusmv Goto Github PK
View Code? Open in Web Editor NEWThis project forked from louvainverificationlab/pynusmv
Python binding for NuSMV.
Home Page: http://lvl.info.ucl.ac.be/Tools/PyNuSMV
License: GNU Lesser General Public License v3.0