معرفی شرکت ها

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

دانلود نسخه باینری

BDD calculator based on CUDD

ویژگی	مقدار
سیستم عامل	Linux
توزیع	ALT p9
مخزن	ALTLinux classic ppc64le
نام بسته	ddcal
نام فایل بسته	ddcal-0.9-alt3.ppc64le.rpm
نسخه بسته	0.9
انتشار بسته	alt3
معماری بسته	ppc64le
نگهدارنده	-
تاریخ ساخت	Sat 08 Jun 2019 01
هاست سازنده	wasp02.hasher.altlinux.org
نوع بسته	.rpm
آدرس صفحه اصلی	http://vlsi.colorado.edu/vlsi_downloads.html
مجوز	BSD
حجم دانلود	31K
حجم نصب	120.469K

DDcal is a BDD calculator based on perl-Tk and the Cudd package.

بسته	نسخه	معماری	مخزن
ddcal-0.9-alt3.i586.rpm	0.9	i586	ALT classic
ddcal-0.9-alt3.x86_64.rpm	0.9	x86_64	ALT classic

مقدار	نام
-	perl-Tk
-	/bin/sh
-	/lib64/ld64.so.2
-	/usr/bin/perl
-	libc.so.6(GLIBC_2.17)(64bit)
>= set:nhTwlZvlWIGRoLX342YbdV3iTJ7R1tJU3bZEn8ZFs2VjOGe9Pe5pNxUgrdnFA4yZA2R40hBUfTXuUboq8m8Q0ZE8ZCTwDU6YsZilAkzC3	libcudd.so.0()(64bit)
-	rpmlib(SetVersions)
>= set:jhZ8ZaF6JU0	libmtr.so.0()(64bit)
-	perl(English.pm)
-	perl(Tk.pm)
-	perl(Tk/Dialog.pm)
-	perl(Tk/ErrorDialog.pm)
-	perl(Tk/FileSelect.pm)
-	perl(arybase.pm)
-	perl(subs.pm)
-	rtld(GNU_HASH)
-	rpmlib(PayloadIsLzma)

مقدار	نام
= 0.9-alt3:sisyphus.212545.100	ddcal

نصب پکیج rpm ddcal:

sudo apt-get install ddcal-0.9-alt3.ppc64le.rpm

مسیرها
/usr/bin/DDcal
/usr/bin/ddcal
/usr/bin/ddcal.bin
/usr/share/doc/ddcal-0.9
/usr/share/doc/ddcal-0.9/README
/usr/share/doc/ddcal-0.9/examples
/usr/share/doc/ddcal-0.9/examples/ESOP.ddc
/usr/share/doc/ddcal-0.9/examples/RMphase.ddc
/usr/share/doc/ddcal-0.9/examples/comp.ddc
/usr/share/doc/ddcal-0.9/examples/h2.ddc
/usr/share/doc/ddcal-0.9/examples/hamming.ddc
/usr/share/doc/ddcal-0.9/examples/implement.ddc
/usr/share/doc/ddcal-0.9/examples/life.ddc
/usr/share/doc/ddcal-0.9/examples/linear.ddc
/usr/share/doc/ddcal-0.9/examples/more.ddc
/usr/share/doc/ddcal-0.9/examples/refs.ddc
/usr/share/doc/ddcal-0.9/examples/rubberband.ddc
/usr/share/doc/ddcal-0.9/examples/seqreen.ddc
/usr/share/doc/ddcal-0.9/examples/swaps.ddc
/usr/share/doc/ddcal-0.9/examples/updown.ddc
/usr/share/doc/ddcal-0.9/examples/vartest.ddc