معرفی شرکت ها

depqbf_5.01-3_mipsel.deb

Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر

توضیحات

solver for quantified boolean formulae
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bullseye-11
مخزن Debian main mipsel
نام بسته depqbf
نام فایل بسته depqbf_5.01-3_mipsel.deb
نسخه بسته 5.01
انتشار بسته 3
معماری بسته mipsel
نگهدارنده Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://lonsing.github.io/depqbf/
مجوز -
حجم دانلود 132524
حجم نصب 704
DepQBF is a search-based solver for quantified boolean formulae (QBF) in prenex conjunctive normal form. It is based on the DPLL algorithm for QBF, called QDPLL, with conflict-driven clause and solution-driven cube learning. By analyzing the syntactic structure of a formula, DepQBF tries to identify independent variables. In general, information on independent variables can be represented in the formal framework of dependency schemes. DepQBF computes the so-called "standard dependency scheme" of a given formula. In addition to other benefits, information on independent variables often increases the freedom for decision making and clause learning.


جایگزین ها

بسته نسخه معماری مخزن
depqbf_5.01-3_amd64.deb 5.01 amd64 Debian main
depqbf_5.01-3_arm64.deb 5.01 arm64 Debian main
depqbf_5.01-3_armel.deb 5.01 armel Debian main
depqbf_5.01-3_armhf.deb 5.01 armhf Debian main
depqbf_5.01-3_i386.deb 5.01 i386 Debian main
depqbf_5.01-3_mips64el.deb 5.01 mips64el Debian main
depqbf_5.01-3_ppc64el.deb 5.01 ppc64el Debian main
depqbf_5.01-3_s390x.deb 5.01 s390x Debian main


نیازمندی

مقدار نام
>= 2.4 libc6


نحوه نصب


نصب پکیج deb depqbf:

    sudo apt-get install depqbf_5.01-3_mipsel.deb


فایل ها

مسیرها
./usr/bin/depqbf
./usr/include/qdpll/qdpll.h
./usr/lib/libqdpll.a
./usr/lib/libqdpll.so.1.0
./usr/share/doc/depqbf/README.gz
./usr/share/doc/depqbf/changelog.Debian.gz
./usr/share/doc/depqbf/changelog.gz
./usr/share/doc/depqbf/copyright
./usr/share/doc/depqbf/examples/basic-api-example.c
./usr/share/doc/depqbf/examples/basic-api-example2.c.gz
./usr/share/doc/depqbf/examples/basic-api-example3.c
./usr/share/doc/depqbf/examples/basic-clause-groups-api-example-assumptions.c.gz
./usr/share/doc/depqbf/examples/basic-clause-groups-api-example.c.gz
./usr/share/doc/depqbf/examples/basic-manual-selectors.c
./usr/share/doc/depqbf/examples/makefile
./usr/share/lintian/overrides/depqbf
./usr/share/man/man1/depqbf.1.gz
./usr/lib/libqdpll.so -> libqdpll.so.1
./usr/lib/libqdpll.so.1 -> libqdpll.so.1.0