Package: depqbf (5.01-3)

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

depends

recommends

suggests

enhances

dep: libc6 (>= 2.4)

GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb

Download depqbf

Download for all available architectures
Architecture	Package Size	Installed Size	Files
armhf	115.3 kB	480.0 kB	[list of files]