This container is a simple linux VM configured to let you build the pynusmv project.
960
This container is a simple linux VM configured to let you build the pynusmv project (https://github.com/LouvainVerificationLab/pynusmv).
PyNuSMV is a Python binding for NuSMV. It is intended to provide a Python interface to NuSMV, allowing to use NuSMV as a library.
Content type
Image
Digest
Size
222.7 MB
Last updated
almost 10 years ago
docker pull xgillard/pynusmv