Package libcudd: Information

Source package: libcudd

Version: 3.0.0-alt1

Build time:  Feb 17, 2025, 03:15 PM

Category: Sciences/Mathematics

Home page: https://github.com/ivmai/cudd

VCS: https://github.com/ivmai/cudd.git

License: BSD

Summary: CUDD: Colorado University Decision Diagram Package

Description: 

The CUDD package provides functions to manipulate Binary Decision
Diagrams (BDDs), Algebraic Decision Diagrams (ADDs), and Zero-suppressed
Binary Decision Diagrams (ZDDs). BDDs are used to represent switching
functions; ADDs are used to represent function from {0,1}^n to an
arbitrary set. ZDDs represent switching functions like BDDs; however,
they are much more efficient than BDDs when the functions to be
represented are characteristic functions of cube sets, or in general,
when the ON-set of the function to be represented is very sparse. They
are inferior to BDDs in other cases.

The package provides a large set of operations on BDDs, ADDs, and ZDDs,
functions to convert BDDs into ADDs or ZDDs and vice versa, and a large
assortment of variable reordering methods.

This package contains shared libcudd.

List of RPM packages built from this SRPM:
libcudd (loongarch64)
libcudd-debuginfo (loongarch64)
libcudd-devel (loongarch64)

Maintainer: Pavel Skrylev