nusmv (devel/nusmv) Add to my watchlist
The NuSMV model checkerVersion: 2.6.0 License: LGPL-2.1 GitHub
Maintainers | No Maintainer |
Categories | devel math |
Homepage | http://nusmv.fbk.eu |
Platforms | darwin |
Variants |
|
"nusmv" depends on
lib (2)
build (3)
Ports that depend on "nusmv"
No ports
Port Health:
Loading Port Health
Installations (30 days)
0
Requested Installations (30 days)
0
Livecheck error
Error: cannot check if nusmv was updated (regex didn't match)
last updated: 11 hours ago