cudd-2.5.0-3-rosa2014.1.x86_64.rpm


Advertisement

Description

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 mirror.rosalab.ru
CUDD is a package for the manipulation of Binary Decision Diagrams
(BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed
Binary Decision Diagrams (ZDDs).

Alternatives

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

Requires

Name Value
libc.so.6()(64bit) -
libc.so.6(GLIBC_2.2.5)(64bit) -
libc.so.6(GLIBC_2.3.4)(64bit) -
libc.so.6(GLIBC_2.4)(64bit) -
libc.so.6(GLIBC_2.7)(64bit) -
libcudd.so.2()(64bit) -
libcuddst.so.2()(64bit) -
libcuddutil.so.2()(64bit) -
libdddmp.so.2()(64bit) -
libepd.so.2()(64bit) -
libm.so.6()(64bit) -
libmtr.so.2()(64bit) -

Provides

Name Value
cudd == 2.5.0-3:2014.1

Download

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

Files

Path
/usr/bin/nanotrav
/usr/share/doc/cudd/LICENSE
/usr/share/doc/cudd/README
/usr/share/doc/cudd/RELEASE.NOTES
/usr/share/doc/cudd/nanotrav/README
/usr/share/doc/cudd/nanotrav/bnetAllAbs.html
/usr/share/doc/cudd/nanotrav/bnetAllDet.html
/usr/share/doc/cudd/nanotrav/bnetExtAbs.html
/usr/share/doc/cudd/nanotrav/bnetExtDet.html
/usr/share/doc/cudd/nanotrav/ntrAllAbs.html
/usr/share/doc/cudd/nanotrav/ntrAllDet.html
/usr/share/doc/cudd/nanotrav/ntrExtAbs.html
/usr/share/doc/cudd/nanotrav/ntrExtDet.html
/usr/share/man/man1/nanotrav.1.xz

Changelog

2014-07-25 - Denis Silakov <denis.silakov@rosalab.ru> 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
Advertisement
Advertisement