cudd packages - Repology

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):

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):

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):

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):

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):

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):

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):

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):

Fedora 32
^release

cudd

3.0.0 (3.0.0-9.fc31)

Summary:
CU Decision Diagram Package
Category:
- Unspecified
License:
- BSD
Link(s):

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):

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):

GNU Guix

cudd

3.0.0

Summary:
Manipulate decision diagrams
Link(s):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

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):

Rosa 2016.1
^{contrib/release}

cudd

2.5.0 (2.5.0-5)

License:
- BSD
Link(s):

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):

Packages for cudd

cudd

cudd

cudd

cudd

cudd

cudd

cudd

cudd

cudd

math/cudd

cudd

cudd

cudd

cudd

cudd

cudd

cudd

math/cudd

sci-mathematics/cudd

cudd

sci-mathematics/cudd

sci-mathematics/cudd

cudd

cudd

cudd

cudd

cudd

cudd

cudd

cudd

devel/cudd

cudd

cudd

cudd

cudd

cudd

cudd

cudd

cudd

cudd

cudd

cudd

cudd

cudd

cudd

cudd

cudd

cudd

cudd

cudd