cudd-2.5.0-4-omv2015.0.x86_64.rpm


Advertisement

Description

cudd - CU Decision Diagram Package

Property Value
Distribution OpenMandriva Lx 4.0
Repository OpenMandriva Unsupported Release x86_64
Package filename cudd-2.5.0-4-omv2015.0.x86_64.rpm
Package name cudd
Package version 2.5.0
Package release 4-omv2015.0
Package architecture x86_64
Package type rpm
Homepage http://vlsi.colorado.edu/~fabio/CUDD/
License BSD
Maintainer -
Download size 270.19 KB
Installed size 838.13 KB
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-4-omv4000.x86_64.rpm 2.5.0 x86_64 OpenMandriva Unsupported Release
cudd-2.5.0-4-omv4000.i686.rpm 2.5.0 i686 OpenMandriva Unsupported Release
cudd-2.5.0-4-omv2015.0.i586.rpm 2.5.0 i586 OpenMandriva Unsupported Release
cudd - - -

Requires

Name Value
libc.so.6(GLIBC_2.7)(64bit) -
libgcc_s.so.1()(64bit) -
libgcc_s.so.1(GCC_3.0)(64bit) -
libm.so.6()(64bit) -
libm.so.6(GLIBC_2.2.5)(64bit) -
libstdc++.so.6()(64bit) -
libstdc++.so.6(CXXABI_1.3)(64bit) -
libstdc++.so.6(GLIBCXX_3.4)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.9)(64bit) -

Provides

Name Value
libcudd.so.2()(64bit) -
libcuddobj.so.2()(64bit) -
libcuddst.so.2()(64bit) -
libcuddutil.so.2()(64bit) -
libdddmp.so.2()(64bit) -
libepd.so.2()(64bit) -
libmtr.so.2()(64bit) -

Download

Type URL
Mirror abf-downloads.openmandriva.org
Binary Package cudd-2.5.0-4-omv2015.0.x86_64.rpm
Source Package cudd-2.5.0-4.src.rpm

Install Howto

  1. Enable the repository in Software Repository Picker:
    # om-repo-picker
  2. Install cudd rpm package:
    # dnf install cudd

Files

Path
/usr/bin/nanotrav
/usr/lib64/libcudd.so.2
/usr/lib64/libcudd.so.2.5.0
/usr/lib64/libcuddobj.so.2
/usr/lib64/libcuddobj.so.2.5.0
/usr/lib64/libcuddst.so.2
/usr/lib64/libcuddst.so.2.5.0
/usr/lib64/libcuddutil.so.2
/usr/lib64/libcuddutil.so.2.5.0
/usr/lib64/libdddmp.so.2
/usr/lib64/libdddmp.so.2.5.0
/usr/lib64/libepd.so.2
/usr/lib64/libepd.so.2.5.0
/usr/lib64/libmtr.so.2
/usr/lib64/libmtr.so.2.5.0
/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

See Also

Package Description
cudd-devel-2.5.0-4-omv2015.0.x86_64.rpm Header files and man pages for cudd
cudd-devel-2.5.0-4-omv4000.x86_64.rpm Header files and man pages for cudd
cudf-devel-0.6.3-1-omv2013.0.x86_64.rpm CUDF (Common Upgradeability Description Format) C development stuff
cudf-ocaml-devel-0.6.3-1-omv2013.0.x86_64.rpm CUDF (Common Upgradeability Description Format) OCaml development stuff
cudf-tools-0.6.3-1-omv2013.0.x86_64.rpm CUDF (Common Upgradeability Description Format) command-line tools
cuegen-1.2.0-6-omv2015.0.x86_64.rpm FLAC-compatible cuesheet generator for Linux
cuegen-1.2.0-6-omv4000.x86_64.rpm FLAC-compatible cuesheet generator for Linux
cuetools-1.3.1-9-omv2015.0.x86_64.rpm Utilities to works with cue and TOC files
cuetools-1.3.1-9-omv4000.x86_64.rpm Utilities to works with cue and TOC files
culmus-latex-0.7-3-omv2015.0.noarch.rpm Culmus Hebrew fonts for LaTeX
culmus-latex-0.7-3-omv4000.noarch.rpm Culmus Hebrew fonts for LaTeX
cuneiform-linux-1.1.0-2-omv2013.0.x86_64.rpm An OCR system
cups-pdf-3.0-0.beta2.1-omv4000.x86_64.rpm Extension for creating pdf-Files with CUPS
curconvd-1.1.0-2-omv2015.0.x86_64.rpm A daemon that acts as a currency conversion service over D-Bus
curl-loader-0.53-3-omv2015.0.x86_64.rpm A HTTP(S)/FTP(S) application load stress testing tool
Advertisement
Advertisement