Bug#639363: ITP: depqbf -- solver for quantified boolean formulae

[Thomas Krennwallner <tkren@kr.tuwien.ac.at>]

Package: wnpp
Severity: wishlist
Owner: Thomas Krennwallner <tkren@kr.tuwien.ac.at>


* Package name    : depqbf
  Version         : 0.1
  Upstream Author : Florian Lonsing <florian.lonsing@jku.at>
* URL             : http://fmv.jku.at/depqbf/
* License         : GPL
  Programming Lang: C
  Description     : 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.