Versions Packages Information History Related Badges Report

Packages for cudd

50 package(s) known

cudd

2.5.1 (2.5.1-alt3)

cudd

2.5.1 (2.5.1-alt3)

cudd

2.5.1 (2.5.1-alt3)
Arch
extra

cudd

3.0.0 (3.0.0-1)

cudd

3.0.0 (3.0.0-1.1)

cudd

3.0.0 (3.0.0-1.1)

cudd

3.0.0 (3.0.0-1.1)

cudd

3.0.0 (3.0.0-1)

cudd

3.0.0 (3.0.0-1)

math/cudd

3.0.0
Fedora 26
release

cudd

3.0.0 (3.0.0-3.fc26)
Fedora 27
release

cudd

3.0.0 (3.0.0-5.fc27)
Fedora 28
release

cudd

3.0.0 (3.0.0-6.fc28)
Fedora 29
release

cudd

3.0.0 (3.0.0-7.fc29)
Fedora 30
release

cudd

3.0.0 (3.0.0-8.fc30)

math/cudd

3.0.0

sci-mathematics/cudd

3.0.0

cudd

3.0.0

sci-mathematics/cudd

3.0.0

sci-mathematics/cudd

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

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

cudd

3.0.0

devel/cudd

3.0.0 (3.0.0p1)
OpenMandriva 4.0
unsupported/release

cudd

2.5.0 (2.5.0-4)
OpenMandriva 4.1
unsupported/release

cudd

2.5.0 (2.5.0-4)
OpenMandriva 4.2
unsupported/release

cudd

2.5.0 (2.5.0-4)
OpenMandriva 4.3
unsupported/release

cudd

2.5.0 (2.5.0-4)
OpenMandriva Rolling
unsupported/release

cudd

2.5.0 (2.5.0-4)
OpenMandriva Cooker
unsupported/release

cudd

2.5.0 (2.5.0-4)

cudd

2.5.0 (2.5.0-6.1)

cudd

3.0.0 (3.0.0-lp150.2.1)

cudd

3.0.0 (3.0.0-lp151.3.3)

cudd

3.0.0 (3.0.0-lp152.4.4)

cudd

3.0.0 (3.0.0-bp153.1.16)

cudd

3.0.0 (3.0.0-bp154.2.19)

cudd

3.0.0 (3.0.0-bp155.3.10)

cudd

3.0.0 (3.0.0-3.14)

cudd

3.0.0 (3.0.0-18.93)
Parabola
extra

cudd

3.0.0 (3.0.0-1)
Rosa 2021.1
contrib/release

cudd

2.5.0 (2.5.0-5)