Version: sci-mathematics/nusmv 2.6.0:0

Depends On: minisat? ( >=sci-mathematics/minisat-2.2.0_p20130925 ) doc? ( virtual/latex-base dev-texlive/texlive-latexextra app-doc/doxygen ) dev-libs/libxml2 || ( >=dev-lang/python-2.7.5-r2:2.7 ) sys-devel/make >=dev-util/cmake-3.7.2

USE Flags:minisat doc zchaff

2.6.0
"~amd64 ~x86"
comments powered by Disqus