套件：depqbf（5.01-3 以及其他的）

[ 原始碼： depqbf  ]

solver for quantified boolean formulae

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 有關的套件

• dep: libc6 (>= 2.14) [amd64]

  GNU C 函式庫：共用函式庫
  同時作為一個虛擬套件由這些套件填實： libc6-udeb

  dep: libc6 (>= 2.16) [x32]

  dep: libc6 (>= 2.17) [ppc64el]

  dep: libc6 (>= 2.27) [sh4]

  dep: libc6 (>= 2.3.4) [hppa]

  dep: libc6 (>= 2.34) [arm64, riscv64]

  dep: libc6 (>= 2.4) [armel, armhf, i386, m68k, mips64el, ppc64, s390x, sparc64]

• dep: libc6.1 (>= 2.27) [ia64]

  GNU C 函式庫：共用函式庫
  同時作為一個虛擬套件由這些套件填實： libc6.1-udeb

  dep: libc6.1 (>= 2.4) [alpha]

下載 depqbf

下載可用於所有硬體架構的

硬體架構	版本	套件大小	安裝後大小	檔案
alpha （非官方移植版）	5.01-3	137。8 kB	861。0 kB	[檔案列表]
amd64	5.01-3	135。0 kB	674。0 kB	[檔案列表]
arm64	5.01-3+b1	122。3 kB	730。0 kB	[檔案列表]
armel	5.01-3	112。9 kB	609。0 kB	[檔案列表]
armhf	5.01-3	115。3 kB	480。0 kB	[檔案列表]
hppa （非官方移植版）	5.01-3	167。0 kB	665。0 kB	[檔案列表]
i386	5.01-3	130。6 kB	669。0 kB	[檔案列表]
ia64 （非官方移植版）	5.01-3	155。6 kB	1，310。0 kB	[檔案列表]
m68k （非官方移植版）	5.01-3	117。0 kB	651。0 kB	[檔案列表]
mips64el	5.01-3	129。0 kB	804。0 kB	[檔案列表]
ppc64 （非官方移植版）	5.01-3	123。1 kB	885。0 kB	[檔案列表]
ppc64el	5.01-3	125。4 kB	822。0 kB	[檔案列表]
riscv64	5.01-3+b1	261。3 kB	2，315。0 kB	[檔案列表]
s390x	5.01-3	116。1 kB	689。0 kB	[檔案列表]
sh4 （非官方移植版）	5.01-3	130。7 kB	559。0 kB	[檔案列表]
sparc64 （非官方移植版）	5.01-3	115。1 kB	719。0 kB	[檔案列表]
x32 （非官方移植版）	5.01-3	134。7 kB	635。0 kB	[檔案列表]