Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Related
Badges
Report
Packages for
cudd
42
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Package issue tracker
4
6
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Package issue tracker
4
6
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Package issue tracker
4
6
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
Arch Linux 32 i486
community
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Arch Linux 32 i686
community
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Arch Linux 32 pentium4
community
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
Links(s):
Upstream homepage
4
6
Package page
4
6
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
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
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Build log
4
6
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
4
6
Package recipe
4
6
Package recipe (raw)
4
6
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
4
6
Package recipe
4
6
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
4
6
Package recipe
4
6
Package recipe (raw)
4
6
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
4
6
Package recipe
4
6
Package recipe (raw)
4
6
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
4
6
Package recipe
4
6
Package recipe (raw)
4
6
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
4
6
Package recipe
4
6
Package recipe (raw)
4
6
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
4
6
Package recipe
4
6
Package recipe (raw)
4
6
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 recipe (raw)
4
6
Package issue tracker
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 21.05
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
nixpkgs stable 21.11
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
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
4
6
Package recipe
4
6
Package recipe (raw)
4
6
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
4
6
Package recipe
4
6
Package recipe (raw)
4
6
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
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
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
4
6
Package recipe
4
6
Package recipe (raw)
4
6
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
4
6
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
4
6
Package recipe
4
6
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
4
6
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
4
6
Package recipe
4
6
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
4
6
Package recipe
4
6
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
4
6
Package recipe
4
6
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
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
4
6
Package recipe
4
6
openSUSE Tumbleweed
src-oss
cudd
3.0.0 (3.0.0-3.11)
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 recipe
4
6
Package page
4
6
openSUSE science Tumbleweed
cudd
3.0.0 (3.0.0-18.67)
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
4
6
Package recipe
4
6
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
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Rosa 2016.1
contrib/release
cudd
2.5.0 (2.5.0-5)
License:
BSD
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
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
4
6
Package recipe (raw)
4
6