معرفی شرکت ها

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

BDD calculator based on CUDD

ویژگی	مقدار
سیستم عامل	Linux
توزیع	ALT p9
مخزن	ALTLinux classic i586
نام بسته	ddcal
نام فایل بسته	ddcal-0.9-alt3.i586.rpm
نسخه بسته	0.9
انتشار بسته	alt3
معماری بسته	i586
نگهدارنده	-
تاریخ ساخت	Tue 04 Sep 2018 11
هاست سازنده	slazav-sisyphus.hasher.altlinux.org
نوع بسته	.rpm
آدرس صفحه اصلی	http://vlsi.colorado.edu/vlsi_downloads.html
مجوز	BSD
حجم دانلود	28K
حجم نصب	83.711K

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

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

مقدار	نام
-	perl-Tk
-	/bin/sh
-	/lib/ld-linux.so.2
-	/usr/bin/perl
-	libc.so.6(GLIBC_2.0)
-	libc.so.6(GLIBC_2.1)
-	libc.so.6(GLIBC_2.3.4)
-	libc.so.6(GLIBC_2.4)
>= set:nhTwlZvlWIGRoLX342YbdV3iTJ7R1tJU3bZEn8ZFs2VjOGe9Pe5pNxUgrdnFA4yZA2R40hBUfTXuUboq8m8Q0ZE8ZCTwDU6YsZilAkzC3	libcudd.so.0
-	rpmlib(SetVersions)
>= set:jhZ8ZaF6JU0	libmtr.so.0
-	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	ddcal

نصب پکیج rpm ddcal:

sudo apt-get install ddcal-0.9-alt3.i586.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