cudd - CU Decision Diagram Package

Property Value
Distribution ROSA 2014.1
Repository ROSA Contrib x86_64
Package name cudd
Package version 2.5.0
Package release 3-rosa2014.1
Package architecture x86_64
Package type rpm
Installed size 211.01 KB
Download size 73.55 KB
Official Mirror
CUDD is a package for the manipulation of Binary Decision Diagrams
(BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed
Binary Decision Diagrams (ZDDs).


Package Version Architecture Repository
cudd-2.5.0-3-rosa2014.1.i586.rpm 2.5.0 i586 ROSA Contrib
cudd - - -


Name Value - - - - - - - - - - - -


Name Value
cudd == 2.5.0-3:2014.1


Type URL
Binary Package cudd-2.5.0-3-rosa2014.1.x86_64.rpm
Source Package cudd-2.5.0-3.src.rpm

Install Howto

  1. Enable ROSA Contrib repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install cudd rpm package:
    # urpmi cudd




2014-07-25 - Denis Silakov <> 2.5.0-3
+ Revision: 7e85881
- MassBuild#464: Increase release tag

See Also

Package Description
cudf-devel-0.6.3-2-rosa2014.1.x86_64.rpm CUDF (Common Upgradeability Description Format) C development stuff
cudf-ocaml-devel-0.6.3-2-rosa2014.1.x86_64.rpm CUDF (Common Upgradeability Description Format) OCaml development stuff
cudf-tools-0.6.3-2-rosa2014.1.x86_64.rpm CUDF (Common Upgradeability Description Format) command-line tools
cuegen-1.2.0-6-rosa2014.1.x86_64.rpm FLAC-compatible cuesheet generator for Linux
cuetools-1.3.1-9-rosa2014.1.x86_64.rpm Utilities to works with cue and TOC files
culmus-latex-0.7-3-rosa2014.1.noarch.rpm Culmus Hebrew fonts for LaTeX
cuneiform-linux-1.1.0-4-rosa2014.1.x86_64.rpm An OCR system
cups-pdf-2.6.1-3-rosa2014.1.x86_64.rpm Extension for creating pdf-Files with CUPS
curconvd-1.2.0-2-rosa2014.1.x86_64.rpm A daemon that acts as a currency conversion service over D-Bus
curl-java-0.2.3-3-rosa2014.1.x86_64.rpm Java wrapper to the curl library
curl-loader-0.53-2-rosa2014.1.x86_64.rpm A HTTP(S)/FTP(S) application load stress testing tool
curlftpfs-0.9.2-5-rosa2014.1.x86_64.rpm Filesystem for accessing FTP hosts based on FUSE and libcurl
cursor_themes-0.0.5-9-rosa2014.1.noarch.rpm A Collection of cursor themes for XFree86 4.3 or later
curtain-0.3-3-rosa2014.1.x86_64.rpm Show a movable and resizable curtain on the desktop screen
cutecom-0.22.0-1-rosa2014.1.x86_64.rpm Graphical serial terminal program