CMD + K

nusmv

Community

Installation

To install this package, run one of the following:

Conda
$conda install colomoto::nusmv

Usage Tracking

2.7.0
2.6.0
2 / 8 versions selected
Downloads (Last 6 months): 0

About

Last Updated

Jan 20, 2025 at 13:32

Total Downloads

5.1K

Supported Platforms

linux-64
win-64
macOS-arm64

Unsupported Platforms

macOS-64 Last supported version: 2.6.0