[ Source: depqbf ]
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:
Beviser for kvantificerede booleske formler
DepQBF er en søgningsbaseret beviser for kvantificerede booleske formler (QBF) i prenex konjunktiv normalform. Den er baseret på DPLL-algoritmen til QBF, kaldet QDPLL, med konflikt-drevne klausul og løsningsdrevet terninglæring. Ved at analysere den syntaktiske struktur af en formel, forsøger DepQBF at identificere uafhængige variabler. I almindelighed kan information på uafhængige variable være repræsenteret i de formelle rammer for afhængighedsordninger. DepQBF beregner den såkaldte »standardafhængighedsordning« hos en given formel. Udover andre fordele øger information på uafhængige variabler ofte friheden til beslutningstagning og klausul læring.
Other Packages Related to depqbf
|
|
|
|
-
- dep: libc6 (>= 2.14) [amd64]
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.17) [ppc64el]
- dep: libc6 (>= 2.34) [arm64, riscv64]
- dep: libc6 (>= 2.4) [not amd64, arm64, ppc64el, riscv64]
Download depqbf
| Architecture | Version | Package Size | Installed Size | 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] |
| i386 | 5.01-3 | 130.6 kB | 669.0 kB | [list of files] |
| mips64el | 5.01-3 | 129.0 kB | 804.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] |