Package Details: nusmv-bin 2.6.0-1

Git Clone URL: https://aur.archlinux.org/nusmv-bin.git (read-only)
Package Base: nusmv-bin
Description: A new symbolic model checker
Upstream URL: http://nusmv.fbk.eu/index.html
Licenses: LGPL2.1
Conflicts: nusmv
Provides: nusmv
Submitter: malet
Maintainer: malet
Last Packager: malet
Votes: 1
Popularity: 0.016033
First Submitted: 2018-12-25 17:00
Last Updated: 2018-12-25 17:00

Dependencies (0)

Required by (0)

Sources (1)