معرفی شرکت ها
libcudd-devel-docs-2.5.1-alt3.noarch.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Development documentation for cudd
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | ALT p10 |
| مخزن | ALTLinux classic noarch |
| نام بسته | libcudd-devel-docs |
| نام فایل بسته | libcudd-devel-docs-2.5.1-alt3.noarch.rpm |
| نسخه بسته | 2.5.1 |
| انتشار بسته | alt3 |
| معماری بسته | noarch |
| نگهدارنده | - |
| تاریخ ساخت | Sun 12 Aug 2018 11 |
| هاست سازنده | slazav-sisyphus.hasher.altlinux.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | http://vlsi.colorado.edu/~fabio/CUDD/ |
| مجوز | BSD |
| حجم دانلود | 273K |
| حجم نصب | 2.136M |
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 documentation for cudd.
نیازمندی
| مقدار | نام |
|---|---|
| - | rpmlib(PayloadIsLzma) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 2.5.1-alt3 | libcudd-devel-docs |
نحوه نصب
نصب پکیج rpm libcudd-devel-docs:
sudo apt-get install libcudd-devel-docs-2.5.1-alt3.noarch.rpm
فایل ها
| مسیرها |
|---|
| /usr/share/doc/libcudd-devel-docs-2.5.1 |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/cudd.doc |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/cudd.ps |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/cuddAllAbs.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/cuddAllByFile.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/cuddAllByFunc.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/cuddAllDet.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/cuddAllFile.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/cuddDesc.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/cuddExt.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/cuddExtAbs.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/cuddExtDet.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/cuddIntro.css |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/cuddIntro.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/cuddTitle.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/footnode.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/blueball.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/ch_beg_r.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/ch_begin.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/ch_del_r.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/ch_delet.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/ch_end.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/ch_end_r.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/contents.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/crossref.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/footnote.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/greenball.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/image.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/index.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/next.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/next_g.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/nx_grp.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/nx_grp_g.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/orangeball.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/pinkball.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/prev.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/prev_g.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/purpleball.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/pv_grp.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/pv_grp_g.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/redball.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/up.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/up_g.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/whiteball.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/icons/yellowball.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/img1.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/img10.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/img11.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/img12.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/img13.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/img14.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/img15.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/img16.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/img17.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/img18.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/img19.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/img2.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/img20.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/img21.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/img22.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/img3.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/img4.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/img5.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/img6.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/img7.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/img8.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/img9.png |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/index.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/node1.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/node2.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/node3.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/node4.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/node5.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/node6.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/node7.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/cudd.doc/node8.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/dddmp.doc |
| /usr/share/doc/libcudd-devel-docs-2.5.1/dddmp.doc/cmdIndex.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/dddmp.doc/commands.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/dddmp.doc/credit.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/dddmp.doc/dddmp-2.0-A4.ps |
| /usr/share/doc/libcudd-devel-docs-2.5.1/dddmp.doc/dddmp-2.0-Letter.ps |
| /usr/share/doc/libcudd-devel-docs-2.5.1/dddmp.doc/dddmpAllAbs.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/dddmp.doc/dddmpAllByFile.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/dddmp.doc/dddmpAllByFunc.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/dddmp.doc/dddmpAllDet.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/dddmp.doc/dddmpAllFile.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/dddmp.doc/dddmpDesc.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/dddmp.doc/dddmpDoc.txt |
| /usr/share/doc/libcudd-devel-docs-2.5.1/dddmp.doc/dddmpExt.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/dddmp.doc/dddmpExtAbs.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/dddmp.doc/dddmpExtDet.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/dddmp.doc/dddmpTitle.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/dddmp.doc/packages.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/dddmp.doc/pkgIndex.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/mtr.doc |
| /usr/share/doc/libcudd-devel-docs-2.5.1/mtr.doc/mtr.doc |
| /usr/share/doc/libcudd-devel-docs-2.5.1/mtr.doc/mtrAllAbs.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/mtr.doc/mtrAllDet.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/mtr.doc/mtrExtAbs.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/mtr.doc/mtrExtDet.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/st.doc |
| /usr/share/doc/libcudd-devel-docs-2.5.1/st.doc/stAllAbs.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/st.doc/stAllDet.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/st.doc/stExtAbs.html |
| /usr/share/doc/libcudd-devel-docs-2.5.1/st.doc/stExtDet.html |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 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
|