Menu
About
Anaconda
Help
Download Anaconda
Sign In
Anaconda.com
A new user experience is coming soon! These rolling changes are ongoing and some pages will still have the old user interface.
colomoto
/
packages
/
nusmv
2.7.0
0
Conda
Files
Labels
Badges
Home:
http://nusmv.fbk.eu
5182
total downloads
Last upload: 1 year and 1 month ago
Installers
win-64
v2.7.0
osx-arm64
v2.7.0
linux-64
v2.7.0
osx-64
v2.6.0
conda install
To install this package run one of the following:
conda install colomoto::nusmv
Description
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.14)
Legal
|
Privacy Policy
