Paket: depqbf (5.01-3)

Länkar för depqbf

Debianresurser:

Hämta källkodspaketet depqbf:

Ansvariga:

Externa resurser:

Hemsida [lonsing.github.io]

Liknande paket:

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.

Andra paket besläktade med depqbf

beror

rekommenderar

föreslår

enhances

dep: libc6 (>= 2.4)

GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb

Hämta depqbf

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Paketstorlek	Installerad storlek	Filer
mipsel	129,4 kbyte	704,0 kbyte	[filförteckning]