معرفی شرکت ها

libcudd-devel-2.5.1-alt3.x86_64.rpm

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Development files of cudd
ویژگی مقدار
سیستم عامل Linux
توزیع ALT p9
مخزن ALTLinux classic x86_64
نام بسته libcudd-devel
نام فایل بسته libcudd-devel-2.5.1-alt3.x86_64.rpm
نسخه بسته 2.5.1
انتشار بسته alt3
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Sun 12 Aug 2018 11
هاست سازنده slazav-sisyphus.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی http://vlsi.colorado.edu/~fabio/CUDD/
مجوز BSD
حجم دانلود 32K
حجم نصب 173.966K
The CUDD package provides functions to manipulate Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs), and Zero-suppressed Binary Decision Diagrams (ZDDs). BDDs are used to represent switching functions; ADDs are used to represent function from {0,1}^n to an arbitrary set. ZDDs represent switching functions like BDDs; however, they are much more efficient than BDDs when the functions to be represented are characteristic functions of cube sets, or in general, when the ON-set of the function to be represented is very sparse. They are inferior to BDDs in other cases. The package provides a large set of operations on BDDs, ADDs, and ZDDs, functions to convert BDDs into ADDs or ZDDs and vice versa, and a large assortment of variable reordering methods. This package contains development files of cudd.


جایگزین ها

بسته نسخه معماری مخزن
libcudd-devel-2.5.1-alt3.i586.rpm 2.5.1 i586 ALT classic
libcudd-devel-2.5.1-alt3.ppc64le.rpm 2.5.1 ppc64le ALT classic
libcudd-devel-docs-2.5.1-alt3.noarch.rpm 2.5.1 noarch ALT classic


نیازمندی

مقدار نام
= 2.5.1-alt3 libcudd
- rpmlib(PayloadIsLzma)


ارائه دهنده

مقدار نام
= 2.5.1-alt3 libcudd-devel


نحوه نصب


نصب پکیج rpm libcudd-devel:

    sudo apt-get install libcudd-devel-2.5.1-alt3.x86_64.rpm


فایل ها

مسیرها
/usr/include/cudd
/usr/include/cudd/cstringstream.h
/usr/include/cudd/cudd.h
/usr/include/cudd/cuddInt.h
/usr/include/cudd/cuddObj.hh
/usr/include/cudd/dddmp.h
/usr/include/cudd/epd.h
/usr/include/cudd/mnemosyne.h
/usr/include/cudd/mtr.h
/usr/include/cudd/st.h
/usr/include/cudd/util.h
/usr/lib64/libcudd.so
/usr/lib64/libdddmp.so
/usr/lib64/libepd.so
/usr/lib64/libmnem.so
/usr/lib64/libmtr.so
/usr/lib64/libst.so


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2018-08-12

fix aarch64 build (do not use -malign-double compiler flag)

2015-03-16

Added all symbols from libutil.a into libmtr.so

2015-03-16

Initial build for Sisyphus