Toggle navigation
Projects
Maintainers
Repositories
Tools
News
Docs
Versions
Packages
Information
History
Related
Badges
Report
Packages for
cudd
34
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
Links(s):
Package page
Package recipe
Package recipe (raw)
ALT Sisyphus
cudd
2.5.1 (2.5.1-alt3)
Summary:
CUDD: Colorado University Decision Diagram Package
Maintainer:
slazav@altlinux.org
Category:
Sciences/Mathematics
Links(s):
Package page
Package recipe
Package recipe (raw)
Arch
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
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
Links(s):
Upstream homepage
4
6
Package page
Package recipe
Package recipe (raw)
DPorts
math/cudd
3.0.0
Summary:
Package for the manipulation of Binary Decision Diagrams (BDDs), etc
Maintainer:
yuri@freebsd.org
Category:
math
Links(s):
Upstream homepage
4
6
Package sources
Package recipe
Package recipe (raw)
Build log
Fedora 26
release
cudd
3.0.0 (3.0.0-3.fc26)
Summary:
CU Decision Diagram Package
Category:
Unspecified
License:
BSD
Links(s):
Upstream homepage
4
6
Package sources
Package recipe
Package recipe (raw)
Fedora 27
release
cudd
3.0.0 (3.0.0-5.fc27)
Summary:
CU Decision Diagram Package
Category:
Unspecified
License:
BSD
Links(s):
Upstream homepage
4
6
Package sources
Package recipe
Package recipe (raw)
4
6
Fedora 28
release
cudd
3.0.0 (3.0.0-6.fc28)
Summary:
CU Decision Diagram Package
Category:
Unspecified
License:
BSD
Links(s):
Upstream homepage
4
6
Package sources
Package recipe
Package recipe (raw)
Fedora 29
release
cudd
3.0.0 (3.0.0-7.fc29)
Summary:
CU Decision Diagram Package
Category:
Unspecified
License:
BSD
Links(s):
Upstream homepage
4
6
Package sources
Package recipe
Package recipe (raw)
Fedora 30
release
cudd
3.0.0 (3.0.0-8.fc30)
Summary:
CU Decision Diagram Package
Category:
Unspecified
License:
BSD
Links(s):
Upstream homepage
4
6
Package sources
Package recipe
Package recipe (raw)
Fedora 31
release
cudd
3.0.0 (3.0.0-9.fc31)
Summary:
CU Decision Diagram Package
Category:
Unspecified
License:
BSD
Links(s):
Upstream homepage
4
6
Package sources
Package recipe
Package recipe (raw)
Fedora 32
release
cudd
3.0.0 (3.0.0-9.fc31)
Summary:
CU Decision Diagram Package
Category:
Unspecified
License:
BSD
Links(s):
Upstream homepage
4
6
Package sources
Package recipe
Package recipe (raw)
FreeBSD Ports
math/cudd
3.0.0
Summary:
Package for the manipulation of Binary Decision Diagrams (BDDs), etc
Maintainer:
yuri@freebsd.org
Category:
math
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package issue tracker
4
6
Package recipe (raw)
4
6
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
Links(s):
Upstream homepage
4
6
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
Links(s):
Upstream homepage
4
6
Manjaro Unstable
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
Links(s):
Upstream homepage
4
6
nixpkgs stable
cudd
3.0.0
Summary:
Binary Decision Diagram (BDD) library
Maintainer:
chessai1996@gmail.com
License:
BSD-3-Clause
Links(s):
Upstream homepage
4
6
Package recipe
nixpkgs unstable
cudd
3.0.0
Summary:
Binary Decision Diagram (BDD) library
Maintainer:
chessai1996@gmail.com
License:
BSD-3-Clause
Links(s):
Upstream homepage
4
6
Package recipe
4
6
OpenBSD Ports
devel/cudd
3.0.0 (3.0.0p0)
Summary:
Colorado University Decision Diagram
Maintainer:
just22@atlantide.mooo.com
Category:
devel
Links(s):
Upstream homepage
4
6
Upstream download
4
6
Package page
4
6
Package sources
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
Links(s):
Upstream homepage
4
6
Package sources
Package recipe
Package recipe (raw)
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
Links(s):
Upstream homepage
4
6
Package sources
Package recipe
Package recipe (raw)
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
Links(s):
Upstream homepage
4
6
Package sources
Package recipe
Package recipe (raw)
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
Links(s):
Upstream homepage
4
6
Package sources
Package recipe
4
6
Package recipe (raw)
4
6
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
Package recipe
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
Package recipe
4
6
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
Package recipe
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
Package recipe
openSUSE Leap 15.3
main/oss
cudd
3.0.0 (3.0.0-bp153.1.15)
Summary:
Manipulation of Binary Decision Diagrams
Category:
Productivity/Scientific/Math
License:
BSD-3-Clause
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
Package recipe
openSUSE Tumbleweed
cudd
3.0.0 (3.0.0-3.5)
Summary:
Binary Decision Diagram manipulation library
Category:
Productivity/Scientific/Math
License:
BSD-3-Clause
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
Package recipe
4
6
openSUSE Science Tumbleweed
cudd
3.0.0 (3.0.0-18.28)
Summary:
Binary Decision Diagram manipulation library
Category:
Productivity/Scientific/Math
License:
BSD-3-Clause
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
Package recipe
Parabola
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Rosa 2014.1
contrib/release
cudd
2.5.0 (2.5.0-3)
License:
BSD
Links(s):
Upstream homepage
4
6
Package sources
Package recipe
Package recipe (raw)
Rosa 2016.1
contrib/release
cudd
2.5.0 (2.5.0-5)
License:
BSD
Links(s):
Upstream homepage
4
6
Package sources
Package recipe
Package recipe (raw)
Rosa 2019.1
contrib/release
cudd
2.5.0 (2.5.0-5)
Summary:
CU Decision Diagram Package
Maintainer:
m.novosyolov@rosalinux.ru
Category:
Sciences/Mathematics
License:
BSD
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
Package recipe (raw)