| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: libcudd-3_0_0-0 | Distribution: openSUSE Tumbleweed |
| Version: 3.0.0 | Vendor: openSUSE |
| Release: 3.21 | Build date: Sat Aug 24 18:00:54 2019 |
| Group: System/Libraries | Build host: reproducible |
| Size: 441220 | Source RPM: cudd-3.0.0-3.21.src.rpm |
| Packager: http://bugs.opensuse.org | |
| Url: http://vlsi.colorado.edu/~fabio/ | |
| Summary: Binary Decision Diagram manipulation library | |
CUDD is a package for the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs).
BSD-3-Clause
* Sat Aug 24 2019 Jan Engelhardt <jengelh@inai.de>
- Modernize specfile.
* Mon Apr 30 2018 jengelh@inai.de
- Update summaries.
* Sat Mar 12 2016 jengelh@inai.de
- Update to new upstream release 3.0.0
* No changelog was provided
- Drop cudd-automake.diff (applied upstream)
* Sat Oct 11 2014 jengelh@inai.de
- Use source URLs. Drop dist-xz from cudd-automake.diff patch
(it's not needed for our build).
* Tue Apr 16 2013 jengelh@inai.de
- Initial package (version 2.5.0) for build.opensuse.org
/usr/lib/libcudd-3.0.0.so.0 /usr/lib/libcudd-3.0.0.so.0.0.0 /usr/share/licenses/libcudd-3_0_0-0 /usr/share/licenses/libcudd-3_0_0-0/LICENSE
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Oct 24 23:22:36 2025