全部搜尋項
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ 原始碼: depqbf  ]

套件:depqbf(5.01-3)

depqbf 的相關連結

Screenshot

Debian 的資源:

下載原始碼套件 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 有關的套件

  • 依賴
  • 推薦
  • 建議
  • 增強

下載 depqbf

下載可用於所有硬體架構的
硬體架構 套件大小 安裝後大小 檔案
amd64 135。0 kB674。0 kB [檔案列表]
arm64 114。2 kB634。0 kB [檔案列表]
armel 112。9 kB609。0 kB [檔案列表]
armhf 115。3 kB480。0 kB [檔案列表]
i386 130。6 kB669。0 kB [檔案列表]
mips64el 129。0 kB804。0 kB [檔案列表]
mipsel 129。4 kB704。0 kB [檔案列表]
ppc64el 125。4 kB822。0 kB [檔案列表]
s390x 116。1 kB689。0 kB [檔案列表]