Versions Packages Information History Related Badges Report

Packages for cudd

34 package(s) known

cudd

2.5.1 (2.5.1-alt3)

cudd

2.5.1 (2.5.1-alt3)
Arch
community

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)
Fedora 31
release

cudd

3.0.0 (3.0.0-9.fc31)
Fedora 32
release

cudd

3.0.0 (3.0.0-9.fc31)

math/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
  • Links(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
  • Links(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
  • Links(s):

cudd

3.0.0

cudd

3.0.0

devel/cudd

3.0.0 (3.0.0p0)
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 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.15)

cudd

3.0.0 (3.0.0-3.5)

cudd

3.0.0 (3.0.0-18.28)
Parabola
community

cudd

3.0.0 (3.0.0-1)
Rosa 2014.1
contrib/release

cudd

2.5.0 (2.5.0-3)
Rosa 2016.1
contrib/release

cudd

2.5.0 (2.5.0-5)
Rosa 2019.1
contrib/release

cudd

2.5.0 (2.5.0-5)