[ Source: depqbf ]
Package: depqbf (0.1-1)
Links for depqbf
Debian Resources:
Download Source Package depqbf:
Maintainers:
External Resources:
- Homepage [fmv.jku.at]
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
|
|
|
-
- dep: libc6 (>= 2.4)
- knižnica Embedded GNU C - zdieľané knižnice
also a virtual package provided by libc6-udeb
Download depqbf
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| armhf | 32.8 kB | 82.0 kB | [list of files] |