About Anaconda Help Download Anaconda
Sign In
Anaconda.com
If you were automatically logged out you may need to refresh the page. You're trying to access a page that requires authentication. ×

colomoto / packages / nusmv

Filters
Type Size Name Uploaded Downloads Labels
conda 3.1 MB | win-64/nusmv-2.7.0-0.conda  11 months and 10 days ago 19 main
conda 21.1 MB | linux-64/nusmv-2.7.0-0.conda  11 months and 10 days ago 261 main
conda 2.5 MB | osx-arm64/nusmv-2.7.0-0.conda  11 months and 10 days ago 24 main
conda 3.8 MB | win-64/nusmv-2.6.0-0.tar.bz2  1 year and 1 month ago 9 main
conda 1.6 MB | osx-64/nusmv-2.6.0-0.tar.bz2  7 years and 3 months ago 1028 main
conda 3.8 MB | linux-64/nusmv-2.6.0-0.tar.bz2  8 years and 1 month ago 3798 main
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.13) Legal | Privacy Policy