معرفی شرکت ها

depqbf_5.01-3_amd64.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

solver for quantified boolean formulae
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Mantic-23.10
مخزن Ubuntu universe amd64
نام بسته depqbf
نام فایل بسته depqbf_5.01-3_amd64.deb
نسخه بسته 5.01
انتشار بسته 3
معماری بسته amd64
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://lonsing.github.io/depqbf/
مجوز -
حجم دانلود 136700
حجم نصب 674
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.


نیازمندی

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


نحوه نصب


نصب پکیج deb depqbf:

    sudo apt-get install depqbf_5.01-3_amd64.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/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