Gentoo-Portage - sci-mathematics/nusmv

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

Runtime Dependencies

nusmv-2.3.1

virtual/libc
dev-libs/expat