معرفی شرکت ها

i586-libcudd-devel-2.5.1-alt3.i586.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 i586
نام بسته i586-libcudd-devel
نام فایل بسته i586-libcudd-devel-2.5.1-alt3.i586.rpm
نسخه بسته 2.5.1
انتشار بسته alt3
معماری بسته i586
نگهدارنده -
تاریخ ساخت Sun 12 Aug 2018 11
هاست سازنده slazav-sisyphus.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی http://vlsi.colorado.edu/~fabio/CUDD/
مجوز BSD
حجم دانلود 3.5K
حجم نصب 0.000
[This package was automatically repackaged from i586.] 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.


نیازمندی

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


ارائه دهنده

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


نحوه نصب


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

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


فایل ها

مسیرها
/usr/lib/libcudd.so
/usr/lib/libdddmp.so
/usr/lib/libepd.so
/usr/lib/libmnem.so
/usr/lib/libmtr.so
/usr/lib/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