all options
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Source: depqbf  ]

Package: depqbf (5.01-3)

Links for depqbf

Screenshot

Debian Resources:

Download Source Package depqbf:

Maintainers:

External Resources:

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

  • depends
  • recommends
  • suggests
  • enhances

Download depqbf

Download for all available architectures
Architecture Package Size Installed Size Files
alpha (unofficial port) 137.8 kB861.0 kB [list of files]
amd64 135.0 kB674.0 kB [list of files]
arm64 114.2 kB634.0 kB [list of files]
armel 112.9 kB609.0 kB [list of files]
armhf 115.3 kB480.0 kB [list of files]
hppa (unofficial port) 167.0 kB665.0 kB [list of files]
i386 130.6 kB669.0 kB [list of files]
m68k (unofficial port) 117.0 kB651.0 kB [list of files]
mips 128.2 kB704.0 kB [list of files]
mips64el 129.0 kB804.0 kB [list of files]
mipsel 129.4 kB704.0 kB [list of files]
powerpcspe (unofficial port) 104.9 kB645.0 kB [list of files]
ppc64 (unofficial port) 123.1 kB885.0 kB [list of files]
ppc64el 125.4 kB822.0 kB [list of files]
riscv64 (unofficial port) 223.0 kB1,667.0 kB [list of files]
s390x 116.1 kB689.0 kB [list of files]
sh4 (unofficial port) 130.7 kB559.0 kB [list of files]
sparc64 (unofficial port) 115.1 kB719.0 kB [list of files]
x32 (unofficial port) 134.7 kB635.0 kB [list of files]