dev-libs/expat virtual/latex-base dev-texlive/texlive-latexextra app-text/ghostscript-gpl www-client/lynx dev-lang/perl
dev-libs/expat
0
mirror://gentoo/NuSMV-2.3.1.tar.gz http://nusmv.irst.itc.it/distrib/NuSMV-2.3.1.tar.gz minisat? ( mirror://gentoo/MiniSat_v1.14_src.zip )

http://nusmv.irst.itc.it/
LGPL-2.1
NuSMV: new symbolic model checker
~x86 ~amd64
eutils multilib toolchain-funcs user
minisat examples





compile install test unpack