nusmv (devel/nusmv) Add to my watchlist

The NuSMV model checker
Version: 2.6.0 License: LGPL-2.1 GitHub
Maintainers No Maintainer
Categories devel math
Homepage http://nusmv.fbk.eu
Platforms darwin
Variants
  • debug (Enable debug binaries)

"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