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: 5 hours ago