Package: depqbf (5.01-3 and others)
Links for depqbf
Debian Resources:
Download Source Package depqbf:
Maintainers:
External Resources:
- Homepage [lonsing.github.io]
Similar packages:
risolutore per formule booleane quantificate
DepQBF è un risolutore basato su ricerca per le QBF (Quantified Boolean Formulae, formule booleane quantificate) in forma normale congiuntiva prenessa. È basato sull'algoritmo DPLL per QBF, chiamato QDPLL, con clausola guidata dai conflitti e apprendimento del cubo guidato dalla soluzione. Analizzando la struttura sintattica di una formula, DepQBF tenta di identificare le variabili indipendenti. In generale, le informazioni sulle variabili indipendenti possono essere rappresentate nell'infrastruttura formale degli schemi di dipendenza. DepQBF calcola il cosiddetto "schema di dipendenza standard" di una data formula. In aggiunta ad altri benefici, le informazioni sulle variabili indipendenti spesso aumentano la libertà per prendere le decisioni e per l'apprendimento delle clausole.
Other Packages Related to depqbf
|
|
|
|
-
- dep: libc6 (>= 2.14) [amd64]
- Libreria C GNU: librerie condivise
also a virtual package provided by 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]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6.1-udeb
- dep: libc6.1 (>= 2.4) [alpha]
Download depqbf
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 5.01-3 | 137.8 kB | 861.0 kB | [list of files] |
| amd64 | 5.01-3 | 135.0 kB | 674.0 kB | [list of files] |
| arm64 | 5.01-3+b1 | 122.3 kB | 730.0 kB | [list of files] |
| armel | 5.01-3 | 112.9 kB | 609.0 kB | [list of files] |
| armhf | 5.01-3 | 115.3 kB | 480.0 kB | [list of files] |
| hppa (unofficial port) | 5.01-3 | 167.0 kB | 665.0 kB | [list of files] |
| i386 | 5.01-3 | 130.6 kB | 669.0 kB | [list of files] |
| ia64 (unofficial port) | 5.01-3 | 155.6 kB | 1,310.0 kB | [list of files] |
| m68k (unofficial port) | 5.01-3 | 117.0 kB | 651.0 kB | [list of files] |
| mips64el | 5.01-3 | 129.0 kB | 804.0 kB | [list of files] |
| ppc64 (unofficial port) | 5.01-3 | 123.1 kB | 885.0 kB | [list of files] |
| ppc64el | 5.01-3 | 125.4 kB | 822.0 kB | [list of files] |
| riscv64 | 5.01-3+b1 | 261.3 kB | 2,315.0 kB | [list of files] |
| s390x | 5.01-3 | 116.1 kB | 689.0 kB | [list of files] |
| sh4 (unofficial port) | 5.01-3 | 130.7 kB | 559.0 kB | [list of files] |
| sparc64 (unofficial port) | 5.01-3 | 115.1 kB | 719.0 kB | [list of files] |
| x32 (unofficial port) | 5.01-3 | 134.7 kB | 635.0 kB | [list of files] |