all options
wheezy  ] [  jessie  ] [  sid  ]
[ Source: depqbf  ]

Package: depqbf (0.1-1)

Links for depqbf

Screenshot

Debian Resources:

Download Source Package depqbf:

Maintainers:

External Resources:

Similar packages:

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 with conflict-driven clause and solution-driven cube learning. By analyzing the structure of a formula, DepQBF tries to identify independent variables. In addition to other benefits, this often increases freedom for decision making.

Other Packages Related to depqbf

  • depends
  • recommends
  • suggests
  • enhances

Download depqbf

Download for all available architectures
Architecture Package Size Installed Size Files
mips 39.7 kB132.0 kB [list of files]