Package: depqbf (0.1-1)
Links for depqbf
Download Source Package depqbf:
- Homepage [fmv.jku.at]
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