Search Portage:
Email:
Password:
Remember Me:
Login
Register
Language Tools
Newest
News
GLSAs
Search
Browse
USE Flags
More...
sci-mathematics/nusmv
NuSMV: new symbolic model checker
Screenshots
http://nusmv.irst.itc.it/
nusmv-2.3.1
~x86 ~amd64
minisat examples
View
Download
License:
LGPL-2.1
Comments
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
Reverse Dependencies
Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.