GitHub repository: Feyensv/pynusmv
Primary language: Python
Description: Python binding for NuSMV.