Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: cudd-devel | Distribution: SUSE Linux Enterprise 15 SP5 |
Version: 3.0.0 | Vendor: openSUSE |
Release: bp155.3.10 | Build date: Wed May 17 16:50:00 2023 |
Group: Development/Libraries/C and C++ | Build host: obs-arm-10 |
Size: 47917 | Source RPM: cudd-3.0.0-bp155.3.10.src.rpm |
Packager: https://bugs.opensuse.org | |
Url: http://vlsi.colorado.edu/~fabio/ | |
Summary: Development files for CUDD, a package for Binary Decision Diagram manipulation |
CUDD is a package for the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs). This subpackage contains the include files and library links for developing against cudd's libraries.
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/include/cudd.h /usr/lib64/libcudd.so
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Jul 9 18:17:49 2024