sci-mathematics / nusmv

NuSMV: new symbolic model checker

Official package sites : ·

v2.6.0 :: 0 :: gentoo

~amd64 ~x86
USE flags
doc minisat zchaff


Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
Enable support for MiniSat
Enable support for zChaff

app-arch / unzip : unzipper for pkzip-compressed files

app-doc / doxygen : Documentation system for most programming languages

dev-lang / python : An interpreted, interactive, object-oriented programming language

dev-libs / libxml2 : XML C parser and toolkit

dev-texlive / texlive-latexextra : TeXLive LaTeX additional packages

dev-util / cmake : Cross platform Make

sci-mathematics / minisat : Small yet efficient SAT solver with reference paper

sys-devel / make : Standard tool to compile source trees

virtual / latex-base : Virtual for basic LaTeX binaries

dev-libs / expat : Stream-oriented XML parser library

sci-mathematics / minisat : Small yet efficient SAT solver with reference paper

sci-mathematics/nusmv fails tests
sci-mathematics/nusmv-2.3.1 segfaults when loading a simple model
sci-mathematics/nusmv-2.5.2 USE=minisat - SolverTypes.h:126:56: error: cast from 'void*' to 'int' loses precision
sci-mathematics/nusmv-2.5.4 :! ==> Fatal error occurred, no output PDF file produced!
sci-mathematics/nusmv attempts to provide /usr/lib/libutil.a
Repository mirror & CI · gentoo
Merge updates from master
Michael Mair-Keimberger · gentoo
sci-mathematics/nusmv: add missing app-arch/unzip dependency.
David Seifert · gentoo
sci-mathematics/nusmv: [QA] Add missing python metadata variables
Package-Manager: Portage-2.3.5, Repoman-2.3.2
Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <>
Gerhard Bräunlich · gentoo
sci-mathematics/nusmv: Removing EAPI 0 ebuilds
Package-Manager: portage-2.2.28 Closes: Signed-off-by: David Seifert <>
Gerhard Bräunlich · gentoo
sci-mathematics/nusmv: version bump to 2.6.0 + EAPI bump
Package-Manager: portage-2.2.28 Closes: Signed-off-by: David Seifert <>
Robin H. Johnson · gentoo
proj/gentoo: Initial commit
This commit represents a new era for Gentoo: Storing the gentoo-x86 tree in Git, as converted from CVS. This commit is the start of the NEW history. Any historical data is intended to be grafted onto this point. Creation process: 1. Take final CVS checkout snapshot 2. Remove ALL ChangeLog* files 3. Transform all Manifests to thin 4. Remove empty Manifests 5. Convert all stale $Header$/$Id$ CVS keywords to non-expanded Git $Id$ 5.1. Do not touch files with -kb/-ko keyword flags. Signed-off-by: Robin H. Johnson <> X-Thanks: Alec Warner <> - did the GSoC 2006 migration tests X-Thanks: Robin H. Johnson <> - infra guy, herding this project X-Thanks: Nguyen Thai Ngoc Duy <> - Former Gentoo developer, wrote Git features for the migration X-Thanks: Brian Harring <> - wrote much python to improve cvs2svn X-Thanks: Rich Freeman <> - validation scripts X-Thanks: Patrick Lauer <> - Gentoo dev, running new 2014 work in migration X-Thanks: Michał Górny <> - scripts, QA, nagging X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed