معرفی شرکت ها

libcudd-devel-2.5.1-alt2.i586.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Development files of cudd
ویژگی مقدار
سیستم عامل Linux
توزیع ALT p8
مخزن ALTLinux classic i586
نام بسته libcudd-devel
نام فایل بسته libcudd-devel-2.5.1-alt2.i586.rpm
نسخه بسته 2.5.1
انتشار بسته alt2
معماری بسته i586
نگهدارنده -
تاریخ ساخت Mon 16 Mar 2015 05
هاست سازنده real-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-alt2.x86_64.rpm 2.5.1 x86_64 ALT classic
libcudd-devel-docs-2.5.1-alt2.noarch.rpm 2.5.1 noarch ALT classic


نیازمندی

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


ارائه دهنده

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


نحوه نصب


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

    sudo apt-get install libcudd-devel-2.5.1-alt2.i586.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/lib/libcudd.so
/usr/lib/libdddmp.so
/usr/lib/libepd.so
/usr/lib/libmnem.so
/usr/lib/libmtr.so
/usr/lib/libst.so


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

تاریخ آخرین تغییر جزئیات
2015-03-16

Added all symbols from libutil.a into libmtr.so

2015-03-16

Initial build for Sisyphus