Information for cudd

Versions

• 3.0.0 (8)
• 2.5.1
• 2.5.0 (3)

Package names

• cudd (11)

Repositories

• ALT Linux p9
• ALT Linux p10
• ALT Sisyphus
• Arch
• Arch Linux 32 i486
• Arch Linux 32 i686
• Arch Linux 32 pentium4
• Arch Linux ARM aarch64
• Arch Linux ARM armv7h
• DPorts
• Fedora 26
• Fedora 27
• Fedora 28
• Fedora 29
• Fedora 30
• Fedora 31
• Fedora 32
• FreeBSD Ports
• Gentoo
• GNU Guix
• LiGurOS stable
• LiGurOS develop
• Manjaro Stable
• Manjaro Testing
• Manjaro Unstable
• nixpkgs stable 21.11
• nixpkgs stable 22.05
• nixpkgs stable 22.11
• nixpkgs unstable
• OpenBSD Ports
• OpenMandriva 4.0
• OpenMandriva 4.1
• OpenMandriva 4.2
• OpenMandriva 4.3
• OpenMandriva Rolling
• OpenMandriva Cooker
• openSUSE Leap 42.3
• openSUSE Leap 15.0
• openSUSE Leap 15.1
• openSUSE Leap 15.2
• openSUSE Leap 15.3
• openSUSE Leap 15.4
• openSUSE Leap 15.5
• openSUSE Tumbleweed
• openSUSE science Tumbleweed
• Parabola
• Rosa 2014.1
• Rosa 2016.1
• Rosa 2021.1

Categories

• Productivity/Scientific/Math
• Sciences/Mathematics (2)
• Unspecified (2)
• devel
• math
• sci-mathematics

Licenses

• BSD (6)
• BSD-3-Clause (2)

Summaries

• A package for the manipulation of Binary Decision Diagrams (BDDs) and similar structures
• Binary Decision Diagram (BDD) library
• Binary Decision Diagram manipulation library
• CU Decision Diagram Package (3)
• CUDD: Colorado University Decision Diagram Package
• Colorado University Decision Diagram
• Colorado University binary Decision Diagram library
• Manipulate decision diagrams
• Manipulation of Binary Decision Diagrams
• Package for the manipulation of Binary Decision Diagrams (BDDs), etc

Maintainers

• alexander@mezon.ru
• bero@lindev.ch
• chessai1996@gmail.com
• just22@atlantide.mooo.com
• sci@gentoo.org
• slazav@altlinux.org
• yuri@freebsd.org

• Group email

Homepage links

• http://vlsi.colorado.edu/~fabio/^{dead (see archive.org)}
• http://vlsi.colorado.edu/~fabio/CUDD/^{dead (see archive.org)} (3)
• http://vlsi.colorado.edu/~fabio/CUDD/html/^{dead (see archive.org)}
• https://davidkebo.com/cudd^ok (2)
• https://davidkebo.com/cudd/^redir
• https://github.com/ivmai/cudd^{ok, no IPv6} (3)

All package recipes

• https://abf.io/import/cudd/blob/rosa2014.1/cudd.spec^{ok, no IPv6}
• https://abf.io/import/cudd/blob/rosa2016.1/cudd.spec^{ok, no IPv6}
• https://abf.io/import/cudd/blob/rosa2021.1/cudd.spec^{ok, no IPv6}
• https://archlinuxarm.org/packages/aarch64/cudd/files/PKGBUILD^ok
• https://archlinuxarm.org/packages/armv7h/cudd/files/PKGBUILD^ok
• https://build.opensuse.org/package/view_file/openSUSE:Factory/cudd/cudd.spec?expand=1^ok
• https://build.opensuse.org/package/view_file/openSUSE:Leap:15.0:Update/cudd/cudd.spec?expand=1^ok
• https://build.opensuse.org/package/view_file/openSUSE:Leap:15.1:Update/cudd/cudd.spec?expand=1^ok
• https://build.opensuse.org/package/view_file/openSUSE:Leap:15.2:Update/cudd/cudd.spec?expand=1^ok
• https://build.opensuse.org/package/view_file/openSUSE:Leap:15.3:Update/cudd/cudd.spec?expand=1^ok
• https://build.opensuse.org/package/view_file/openSUSE:Leap:15.4:Update/cudd/cudd.spec?expand=1^ok
• https://build.opensuse.org/package/view_file/openSUSE:Leap:15.5:Update/cudd/cudd.spec?expand=1^ok
• https://build.opensuse.org/package/view_file/openSUSE:Leap:42.3:Update/cudd/cudd.spec?expand=1^ok
• https://build.opensuse.org/package/view_file/science/cudd/cudd.spec?expand=1^ok
• https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/maths.scm#n7993^ok
• https://github.com/archlinux/svntogit-community/blob/packages/cudd/trunk/PKGBUILD^{ok, no IPv6}
• https://github.com/DragonFlyBSD/DPorts/blob/master/math/cudd/Makefile^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/development/libraries/cudd/default.nix#L25^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-21.11/pkgs/development/libraries/cudd/default.nix#L25^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-22.05/pkgs/development/libraries/cudd/default.nix#L25^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-22.11/pkgs/development/libraries/cudd/default.nix#L25^{ok, no IPv6}
• https://github.com/OpenMandrivaAssociation/cudd/blob/4.0/cudd.spec^{ok, no IPv6}
• https://github.com/OpenMandrivaAssociation/cudd/blob/4.1/cudd.spec^{dead (see archive.org)}
• https://github.com/OpenMandrivaAssociation/cudd/blob/4.2/cudd.spec^{ok, no IPv6}
• https://github.com/OpenMandrivaAssociation/cudd/blob/4.3/cudd.spec^{ok, no IPv6}
• https://github.com/OpenMandrivaAssociation/cudd/blob/master/cudd.spec^{ok, no IPv6}
• https://github.com/OpenMandrivaAssociation/cudd/blob/rolling/cudd.spec^{ok, no IPv6}
• https://gitlab.com/liguros/liguros-repo/-/blob/develop/sci-mathematics/cudd/cudd-3.0.0.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/stable/sci-mathematics/cudd/cudd-3.0.0.ebuild^ok
• https://gitweb.gentoo.org/repo/gentoo.git/tree/sci-mathematics/cudd/cudd-3.0.0.ebuild^ok
• https://packages.altlinux.org/en/p10/srpms/cudd/specfiles/^{ok, no IPv6}
• https://packages.altlinux.org/en/p9/srpms/cudd/specfiles/^{ok, no IPv6}
• https://packages.altlinux.org/en/sisyphus/srpms/cudd/specfiles/^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cudd/blob/f26/f/cudd.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cudd/blob/f27/f/cudd.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cudd/blob/f28/f/cudd.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cudd/blob/f29/f/cudd.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cudd/blob/f30/f/cudd.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cudd/blob/f31/f/cudd.spec^{dead (see archive.org)}
• https://src.fedoraproject.org/rpms/cudd/blob/f32/f/cudd.spec^{dead (see archive.org)}

Downloads

• https://davidkebo.com/source/cudd_versions/cudd-3.0.0.tar.gz^ok
• https://github.com/ivmai/cudd^{ok, no IPv6}
• https://github.com/ivmai/cudd/archive/cudd-3.0.0/cudd-3.0.0.tar.gz^{ok, no IPv6}

Build logs

• https://kojipkgs.fedoraproject.org/packages/cudd/3.0.0/3.fc26/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cudd/3.0.0/5.fc27/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cudd/3.0.0/6.fc28/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cudd/3.0.0/7.fc29/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cudd/3.0.0/8.fc30/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cudd/3.0.0/9.fc31/data/logs/^{ok, no IPv6}
• https://sting.dragonflybsd.org/dports/logs/math___cudd.log^{ok, no IPv6}