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


* Package name    : depqbf
  Version         : 0.1
  Upstream Author : Florian Lonsing <florian.lons...@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.



-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Reply via email to