About Anaconda Help Download Anaconda
Sign In
Anaconda.com

colomoto / packages / nusmv

Filters
Type Size Name Uploaded Downloads Labels
conda 3.1 MB | win-64/nusmv-2.7.0-0.conda  8 months and 9 days ago 14 main
conda 21.1 MB | linux-64/nusmv-2.7.0-0.conda  8 months and 9 days ago 181 main
conda 2.5 MB | osx-arm64/nusmv-2.7.0-0.conda  8 months and 9 days ago 16 main
conda 3.8 MB | win-64/nusmv-2.6.0-0.tar.bz2  10 months and 16 days ago 8 main
conda 1.6 MB | osx-64/nusmv-2.6.0-0.tar.bz2  7 years and 10 days ago 1025 main
conda 3.8 MB | linux-64/nusmv-2.6.0-0.tar.bz2  7 years and 10 months ago 3797 main
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2) Legal | Privacy Policy