Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Related
Badges
Report
Packages for
cudd
50
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
License:
BSD
Link(s):
Upstream homepage
dead
(see archive.org)
Package page
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Package issue tracker
ok
,
no IPv6
ALT Linux p10
cudd
2.5.1
(2.5.1-alt3)
Summary:
CUDD: Colorado University Decision Diagram Package
Maintainer:
slazav@altlinux.org
Category:
Sciences/Mathematics
License:
BSD
Link(s):
Upstream homepage
dead
(see archive.org)
Package page
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Package issue tracker
ok
,
no IPv6
ALT Sisyphus
cudd
2.5.1
(2.5.1-alt3)
Summary:
CUDD: Colorado University Decision Diagram Package
Maintainer:
slazav@altlinux.org
Category:
Sciences/Mathematics
License:
BSD
Link(s):
Upstream homepage
dead
(see archive.org)
Package page
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Package issue tracker
ok
,
no IPv6
Arch
extra
cudd
3.0.0
(3.0.0-1)
Summary:
A package for the manipulation of Binary Decision Diagrams (BDDs) and similar structures
License:
BSD
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
Arch Linux 32 i486
extra
cudd
3.0.0
(3.0.0-1.1)
Summary:
A package for the manipulation of Binary Decision Diagrams (BDDs) and similar structures
License:
BSD
Link(s):
Package page
ok
Upstream homepage
ok
,
no IPv6
Arch Linux 32 i686
extra
cudd
3.0.0
(3.0.0-1.1)
Summary:
A package for the manipulation of Binary Decision Diagrams (BDDs) and similar structures
License:
BSD
Link(s):
Package page
ok
Upstream homepage
ok
,
no IPv6
Arch Linux 32 pentium4
extra
cudd
3.0.0
(3.0.0-1.1)
Summary:
A package for the manipulation of Binary Decision Diagrams (BDDs) and similar structures
License:
BSD
Link(s):
Package page
ok
Upstream homepage
ok
,
no IPv6
Arch Linux ARM aarch64
community
cudd
3.0.0
(3.0.0-1)
Summary:
A package for the manipulation of Binary Decision Diagrams (BDDs) and similar structures
License:
BSD
Link(s):
Package page
ok
Package recipe
ok
Upstream homepage
ok
,
no IPv6
Arch Linux ARM armv7h
community
cudd
3.0.0
(3.0.0-1)
Summary:
A package for the manipulation of Binary Decision Diagrams (BDDs) and similar structures
License:
BSD
Link(s):
Package page
ok
Package recipe
ok
Upstream homepage
ok
,
no IPv6
DPorts
math/cudd
3.0.0
Summary:
Package for the manipulation of Binary Decision Diagrams (BDDs), etc
Maintainer:
yuri@freebsd.org
Category:
math
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Build log
ok
,
no IPv6
Upstream homepage
ok
Fedora 26
release
cudd
3.0.0
(3.0.0-3.fc26)
Summary:
CU Decision Diagram Package
Category:
Unspecified
License:
BSD
Link(s):
Package page
dead
(see archive.org)
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
Fedora 27
release
cudd
3.0.0
(3.0.0-5.fc27)
Summary:
CU Decision Diagram Package
Category:
Unspecified
License:
BSD
Link(s):
Package page
dead
(see archive.org)
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
Fedora 28
release
cudd
3.0.0
(3.0.0-6.fc28)
Summary:
CU Decision Diagram Package
Category:
Unspecified
License:
BSD
Link(s):
Package page
dead
(see archive.org)
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
Fedora 29
release
cudd
3.0.0
(3.0.0-7.fc29)
Summary:
CU Decision Diagram Package
Category:
Unspecified
License:
BSD
Link(s):
Package page
dead
(see archive.org)
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
Fedora 30
release
cudd
3.0.0
(3.0.0-8.fc30)
Summary:
CU Decision Diagram Package
Category:
Unspecified
License:
BSD
Link(s):
Package page
dead
(see archive.org)
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
Fedora 31
release
cudd
3.0.0
(3.0.0-9.fc31)
Summary:
CU Decision Diagram Package
Category:
Unspecified
License:
BSD
Link(s):
Package page
dead
(see archive.org)
Package sources
ok
,
no IPv6
Package recipe
dead
(see archive.org)
Package recipe (raw)
dead
(see archive.org)
Other
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
Fedora 32
release
cudd
3.0.0
(3.0.0-9.fc31)
Summary:
CU Decision Diagram Package
Category:
Unspecified
License:
BSD
Link(s):
Package page
dead
(see archive.org)
Package sources
ok
,
no IPv6
Package recipe
dead
(see archive.org)
Package recipe (raw)
dead
(see archive.org)
Other
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
FreeBSD Ports
math/cudd
3.0.0
Summary:
Package for the manipulation of Binary Decision Diagrams (BDDs), etc
Maintainer:
yuri@freebsd.org
Category:
math
Link(s):
Package page
ok
Package sources
ok
Package recipe (raw)
ok
Package issue tracker
ok
Upstream homepage
ok
Gentoo
sci-mathematics/cudd
3.0.0
Summary:
Colorado University binary Decision Diagram library
Maintainer:
sci@gentoo.org
Category:
sci-mathematics
License:
BSD
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
Upstream homepage
redir
GNU Guix
cudd
3.0.0
Summary:
Manipulate decision diagrams
Link(s):
Package page
ok
Package recipe
ok
Upstream homepage
ok
,
no IPv6
Upstream download
ok
,
no IPv6
LiGurOS stable
sci-mathematics/cudd
3.0.0
Summary:
Colorado University binary Decision Diagram library
Maintainer:
sci@gentoo.org
Category:
sci-mathematics
License:
BSD
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
Upstream homepage
redir
LiGurOS develop
sci-mathematics/cudd
3.0.0
Summary:
Colorado University binary Decision Diagram library
Maintainer:
sci@gentoo.org
Category:
sci-mathematics
License:
BSD
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
Upstream homepage
redir
Manjaro Stable
community
cudd
3.0.0
(3.0.0-1)
Summary:
A package for the manipulation of Binary Decision Diagrams (BDDs) and similar structures
License:
BSD
Link(s):
Upstream homepage
ok
,
no IPv6
Manjaro Testing
community
cudd
3.0.0
(3.0.0-1)
Summary:
A package for the manipulation of Binary Decision Diagrams (BDDs) and similar structures
License:
BSD
Link(s):
Upstream homepage
ok
,
no IPv6
Manjaro Unstable
extra
cudd
3.0.0
(3.0.0-1)
Summary:
A package for the manipulation of Binary Decision Diagrams (BDDs) and similar structures
License:
BSD
Link(s):
Upstream homepage
ok
,
no IPv6
nixpkgs stable 21.11
cudd
3.0.0
Summary:
Binary Decision Diagram (BDD) library
Maintainer:
chessai1996@gmail.com
License:
BSD-3-Clause
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs stable 22.05
cudd
3.0.0
Summary:
Binary Decision Diagram (BDD) library
Maintainer:
chessai1996@gmail.com
License:
BSD-3-Clause
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs stable 22.11
cudd
3.0.0
Summary:
Binary Decision Diagram (BDD) library
Maintainer:
chessai1996@gmail.com
License:
BSD-3-Clause
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs stable 23.05
cudd
3.0.0
Summary:
Binary Decision Diagram (BDD) library
Maintainer:
chessai1996@gmail.com
License:
BSD-3-Clause
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs unstable
cudd
3.0.0
Summary:
Binary Decision Diagram (BDD) library
Maintainer:
chessai1996@gmail.com
License:
BSD-3-Clause
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
OpenBSD Ports
devel/cudd
3.0.0
(3.0.0p1)
Summary:
Colorado University Decision Diagram
Maintainer:
just22@atlantide.mooo.com
Category:
devel
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Upstream download
ok
,
no IPv6
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
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream homepage
dead
(see archive.org)
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
Link(s):
Package sources
dead
(see archive.org)
Package recipe
dead
(see archive.org)
Package recipe (raw)
dead
(see archive.org)
Upstream homepage
dead
(see archive.org)
OpenMandriva 4.2
unsupported/release
cudd
2.5.0
(2.5.0-4)
Summary:
CU Decision Diagram Package
Maintainer:
bero@lindev.ch
Category:
Unspecified
License:
BSD
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream homepage
dead
(see archive.org)
OpenMandriva 4.3
unsupported/release
cudd
2.5.0
(2.5.0-4)
Summary:
CU Decision Diagram Package
Maintainer:
bero@lindev.ch
Category:
Unspecified
License:
BSD
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream homepage
dead
(see archive.org)
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
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream homepage
dead
(see archive.org)
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
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream homepage
dead
(see archive.org)
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
Link(s):
Package page
ok
Package page
ok
Package recipe
ok
Upstream homepage
dead
(see archive.org)
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
Link(s):
Package page
ok
Package page
ok
Package recipe
ok
Upstream homepage
dead
(see archive.org)
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
Link(s):
Package page
ok
Package page
ok
Package recipe
ok
Upstream homepage
dead
(see archive.org)
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
Link(s):
Package page
ok
Package page
ok
Package recipe
ok
Upstream homepage
dead
(see archive.org)
openSUSE Leap 15.3
main/oss
cudd
3.0.0
(3.0.0-bp153.1.16)
Summary:
Manipulation of Binary Decision Diagrams
Category:
Productivity/Scientific/Math
License:
BSD-3-Clause
Link(s):
Package page
ok
Package page
ok
Package recipe
ok
Upstream homepage
dead
(see archive.org)
openSUSE Leap 15.4
main/oss
cudd
3.0.0
(3.0.0-bp154.2.19)
Summary:
Binary Decision Diagram manipulation library
Category:
Productivity/Scientific/Math
License:
BSD-3-Clause
Link(s):
Package page
ok
Package page
ok
Package recipe
ok
Upstream homepage
dead
(see archive.org)
openSUSE Leap 15.5
main/oss
cudd
3.0.0
(3.0.0-bp155.3.10)
Summary:
Binary Decision Diagram manipulation library
Category:
Productivity/Scientific/Math
License:
BSD-3-Clause
Link(s):
Package page
ok
Package page
ok
Package recipe
ok
Upstream homepage
dead
(see archive.org)
openSUSE Tumbleweed
src-oss
cudd
3.0.0
(3.0.0-3.14)
Summary:
Binary Decision Diagram manipulation library
Category:
Productivity/Scientific/Math
License:
BSD-3-Clause
Link(s):
Package page
ok
Package recipe
ok
Package page
ok
Upstream homepage
dead
(see archive.org)
openSUSE science Tumbleweed
cudd
3.0.0
(3.0.0-18.93)
Summary:
Binary Decision Diagram manipulation library
Category:
Productivity/Scientific/Math
License:
BSD-3-Clause
Link(s):
Package page
ok
Package page
ok
Package recipe
ok
Upstream homepage
dead
(see archive.org)
Parabola
extra
cudd
3.0.0
(3.0.0-1)
Summary:
A package for the manipulation of Binary Decision Diagrams (BDDs) and similar structures
License:
BSD
Link(s):
Package page
ok
Upstream homepage
ok
,
no IPv6
Rosa 2014.1
contrib/release
cudd
2.5.0
(2.5.0-3)
License:
BSD
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
Rosa 2016.1
contrib/release
cudd
2.5.0
(2.5.0-5)
License:
BSD
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
Rosa 2021.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
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)