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

USE Flags

minisat

Global: Enable support for MiniSat

Local: Enable support for MiniSat

examples

Global: Install examples, usually source code