全部搜尋項
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

下載可用於所有硬體架構的
硬體架構 套件大小 安裝後大小 檔案
mips64el 129。0 kB804。0 kB [檔案列表]