معرفی شرکت ها

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

BDD calculator based on CUDD

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

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.ppc64le.rpm	0.9	ppc64le	ALT classic

مقدار	نام
-	perl-Tk
-	/bin/sh
-	/lib64/ld-linux-x86-64.so.2
-	/usr/bin/perl
-	libc.so.6(GLIBC_2.14)(64bit)
-	libc.so.6(GLIBC_2.2.5)(64bit)
-	libc.so.6(GLIBC_2.3.4)(64bit)
-	libc.so.6(GLIBC_2.4)(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	ddcal

نصب پکیج rpm ddcal:

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