Gentoo Packages

Search

Install

Install this package:

emerge -a sci-mathematics/cudd

Package Information

Description:

CUDD stands for Colorado University Decision Diagram. It is a package for the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs).

Homepage:

https://github.com/davidkebo/cudd

License:

BSD

Versions

Metadata

Description

• CUDD stands for Colorado University Decision Diagram. It is a package for the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs).
• CUDD 是科罗拉多大学决策图软件包的缩写。它是一个用于操作二元决策图 (BDD)、 代数决策图 (ADD) 和零抑制二元决策图 (ZDD) 的软件包。

Maintainers

• Huang Rui (vowstar@gmail.com) - Type: person

Upstream

• Remote IDs:
  • github: davidkebo/cudd

<pkgmetadata>
	<maintainer type="person">
		<email>vowstar@gmail.com</email>
		<name>Huang Rui</name>
	</maintainer>
	<longdescription lang="en">
		CUDD stands for Colorado University Decision Diagram. It is a package for
		the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision
		Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs).
	</longdescription>
	<longdescription lang="zh">
		CUDD 是科罗拉多大学决策图软件包的缩写。它是一个用于操作二元决策图 (BDD)、
		代数决策图 (ADD) 和零抑制二元决策图 (ZDD) 的软件包。
	</longdescription>
	<use>
		<flag name="doc">Build HTML and PDF documentation (may fail with certain doxygen versions)</flag>
	</use>
	<upstream>
		<remote-id type="github">davidkebo/cudd</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

• [Warning] Ebuild 3.0.0 has a line exceeding 80 positions on line 8.
• [Error] Manifest entry for unused DIST file 'cudd-3.0.0.tar.gz'
• [Error] Repository is missing a repo-name in metadata/layout.conf or profiles/repo_name
• [Notice] Package has only unstable keywords for arch(es): [ amd64, x86 ], all versions are unstable: [ 3.0.0 ]

USE Flags

Manage flags for this package: euse -i <flag> -p sci-mathematics/cudd | euse -E <flag> -p sci-mathematics/cudd | euse -D <flag> -p sci-mathematics/cudd

Manifest