About Anaconda Help Download Anaconda
Sign In
Anaconda.cloud

colomoto / packages / nusmv 2.7.0

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

© 2025 Anaconda, Inc. All Rights Reserved. (v4.0.7) Legal | Privacy Policy