Toggle navigation
Projects
Maintainers
Repositories
Tools
News
Docs
Versions
Packages
Information
History
Related
Badges
Report
Packages for
cudd
28
package(s) known
ALT Linux p9
cudd
2.5.1 (2.5.1-alt3)
Summary:
CUDD: Colorado University Decision Diagram Package
Maintainer:
slazav@altlinux.org
Category:
Sciences/Mathematics
Package-related links:
Package details
Spec file
ALT Sisyphus
cudd
2.5.1 (2.5.1-alt3)
Summary:
CUDD: Colorado University Decision Diagram Package
Maintainer:
slazav@altlinux.org
Category:
Sciences/Mathematics
Package-related links:
Package details
Spec file
AUR
cudd
3.0.0 (3.0.0-1)
Summary:
A package for the manipulation of Binary Decision Diagrams (BDDs) and similar structures
Maintainer:
hey_lu@aur
License:
BSD
Package-related links:
AUR package details
View PKGBUILD
ArchWiki search
Homepage:
http://vlsi.colorado.edu/~fabio/CUDD
4
6
(archive)
DPorts
math/cudd
3.0.0
Summary:
Package for the manipulation of Binary Decision Diagrams (BDDs), etc
Maintainer:
yuri@freebsd.org
Category:
math
Package-related links:
DPorts git
DPorts Makefile
Synth build log
FreeBSD FreshPorts page
FreeBSD SVNWeb
FreeBSD Port's Makefile
FreeBSD PortsMon
Related bugs in FreeBSD bugzilla
Homepage:
https://davidkebo.com/cudd
4
6
Fedora 26
release
cudd
3.0.0 (3.0.0-3.fc26)
Summary:
CU Decision Diagram Package
Category:
Unspecified
License:
BSD
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
http://vlsi.colorado.edu/~fabio/CUDD/html/
4
6
(archive)
Fedora 27
release
cudd
3.0.0 (3.0.0-5.fc27)
Summary:
CU Decision Diagram Package
Category:
Unspecified
License:
BSD
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
http://vlsi.colorado.edu/~fabio/CUDD/html/
4
6
(archive)
Fedora 28
release
cudd
3.0.0 (3.0.0-6.fc28)
Summary:
CU Decision Diagram Package
Category:
Unspecified
License:
BSD
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
http://vlsi.colorado.edu/~fabio/CUDD/html/
4
6
(archive)
Fedora 29
release
cudd
3.0.0 (3.0.0-7.fc29)
Summary:
CU Decision Diagram Package
Category:
Unspecified
License:
BSD
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
http://vlsi.colorado.edu/~fabio/CUDD/html/
4
6
(archive)
Fedora 30
release
cudd
3.0.0 (3.0.0-8.fc30)
Summary:
CU Decision Diagram Package
Category:
Unspecified
License:
BSD
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
http://vlsi.colorado.edu/~fabio/CUDD/html/
4
6
(archive)
Fedora 31
release
cudd
3.0.0 (3.0.0-9.fc31)
Summary:
CU Decision Diagram Package
Category:
Unspecified
License:
BSD
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
http://vlsi.colorado.edu/~fabio/CUDD/html/
4
6
(archive)
Fedora 32
release
cudd
3.0.0 (3.0.0-9.fc31)
Summary:
CU Decision Diagram Package
Category:
Unspecified
License:
BSD
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
http://vlsi.colorado.edu/~fabio/CUDD/html/
4
6
(archive)
FreeBSD Ports
math/cudd
3.0.0
Summary:
Package for the manipulation of Binary Decision Diagrams (BDDs), etc
Maintainer:
yuri@freebsd.org
Category:
math
Package-related links:
FreshPorts page
SVNWeb
Port's Makefile
PortsMon
Related bugs in FreeBSD bugzilla
Homepage:
https://davidkebo.com/cudd
4
6
nixpkgs stable
cudd
3.0.0
Summary:
Binary Decision Diagram (BDD) library
Maintainer:
chessai1996@gmail.com
License:
BSD-3-Clause
Package-related links:
Package source (release branch)
Package source (master branch, imprecise link)
Homepage:
https://davidkebo.com/cudd
4
6
nixpkgs unstable
cudd
3.0.0
Summary:
Binary Decision Diagram (BDD) library
Maintainer:
chessai1996@gmail.com
License:
BSD-3-Clause
Package-related links:
Package source
Homepage:
https://davidkebo.com/cudd
4
6
OpenBSD Ports
devel/cudd
3.0.0 (3.0.0p0)
Summary:
Colorado University Decision Diagram
Maintainer:
just22@atlantide.mooo.com
Category:
devel
Package-related links:
OpenPorts.se page
Port CVS directory
Port directory on GitHub mirror
Homepage:
https://github.com/ivmai/cudd
4
6
Download(s):
https://github.com/ivmai/cudd/archive/cudd-3.0.0/cudd-3.0.0.tar.gz
4
6
OpenMandriva 4.0
unsupported/release
cudd
2.5.0 (2.5.0-4)
Summary:
CU Decision Diagram Package
Maintainer:
bero@lindev.ch
Category:
Unspecified
License:
BSD
Package-related links:
Package repository
Homepage:
http://vlsi.colorado.edu/~fabio/CUDD/
4
6
(archive)
OpenMandriva 4.1
unsupported/release
cudd
2.5.0 (2.5.0-4)
Summary:
CU Decision Diagram Package
Maintainer:
bero@lindev.ch
Category:
Unspecified
License:
BSD
Package-related links:
Package repository
Homepage:
http://vlsi.colorado.edu/~fabio/CUDD/
4
6
(archive)
OpenMandriva Rolling
unsupported/release
cudd
2.5.0 (2.5.0-4)
Summary:
CU Decision Diagram Package
Maintainer:
bero@lindev.ch
Category:
Unspecified
License:
BSD
Package-related links:
Package repository
Homepage:
http://vlsi.colorado.edu/~fabio/CUDD/
4
6
(archive)
OpenMandriva Cooker
unsupported/release
cudd
2.5.0 (2.5.0-4)
Summary:
CU Decision Diagram Package
Maintainer:
bero@lindev.ch
Category:
Unspecified
License:
BSD
Package-related links:
Package repository
Homepage:
http://vlsi.colorado.edu/~fabio/CUDD/
4
6
(archive)
openSUSE Leap 42.3
main/oss
cudd
2.5.0 (2.5.0-6.1)
Summary:
Manipulation of Binary Decision Diagrams
Category:
Productivity/Scientific/Math
License:
BSD-3-Clause
Package-related links:
Package in openSUSE Build Service
Package details on software.opensuse.org
Homepage:
http://vlsi.colorado.edu/~fabio/
4
6
(archive)
openSUSE Leap 15.0
main/oss
cudd
3.0.0 (3.0.0-lp150.2.1)
Summary:
Manipulation of Binary Decision Diagrams
Category:
Productivity/Scientific/Math
License:
BSD-3-Clause
Package-related links:
Package in openSUSE Build Service
Package details on software.opensuse.org
Homepage:
http://vlsi.colorado.edu/~fabio/
4
6
(archive)
openSUSE Leap 15.1
main/oss
cudd
3.0.0 (3.0.0-lp151.3.3)
Summary:
Manipulation of Binary Decision Diagrams
Category:
Productivity/Scientific/Math
License:
BSD-3-Clause
Package-related links:
Package in openSUSE Build Service
Package details on software.opensuse.org
Homepage:
http://vlsi.colorado.edu/~fabio/
4
6
(archive)
openSUSE Leap 15.2
main/oss
cudd
3.0.0 (3.0.0-lp152.4.4)
Summary:
Manipulation of Binary Decision Diagrams
Category:
Productivity/Scientific/Math
License:
BSD-3-Clause
Package-related links:
Package in openSUSE Build Service
Package details on software.opensuse.org
Homepage:
http://vlsi.colorado.edu/~fabio/
4
6
(archive)
openSUSE Tumbleweed
cudd
3.0.0 (3.0.0-3.4)
Summary:
Binary Decision Diagram manipulation library
Category:
Productivity/Scientific/Math
License:
BSD-3-Clause
Package-related links:
Package in openSUSE Build Service
Package details on software.opensuse.org
Homepage:
http://vlsi.colorado.edu/~fabio/
4
6
(archive)
openSUSE Science Tumbleweed
cudd
3.0.0 (3.0.0-18.22)
Summary:
Binary Decision Diagram manipulation library
Category:
Productivity/Scientific/Math
License:
BSD-3-Clause
Package-related links:
Package in openSUSE Build Service
Package details on software.opensuse.org
Homepage:
http://vlsi.colorado.edu/~fabio/
4
6
(archive)
Rosa 2014.1
contrib/release
cudd
2.5.0 (2.5.0-3)
License:
BSD
Package-related links:
Package on abf.io
Homepage:
http://vlsi.colorado.edu/~fabio/CUDD/
4
6
(archive)
Rosa 2016.1
contrib/release
cudd
2.5.0 (2.5.0-5)
License:
BSD
Package-related links:
Package on abf.io
Homepage:
http://vlsi.colorado.edu/~fabio/CUDD/
4
6
(archive)
Rosa 2019.1
contrib/release
cudd
2.5.0 (2.5.0-5)
Summary:
CU Decision Diagram Package
Maintainer:
alexander@mezon.ru
Category:
Sciences/Mathematics
License:
BSD
Package-related links:
Package on abf.io
Homepage:
http://vlsi.colorado.edu/~fabio/CUDD/
4
6
(archive)