Debian Description Tracking --- package: depqbf

a b c d e f g h i j k l m n o p q r s t u v w x y z

depqbf

Source: depqbf
Package: depqbf
Versions: depqbf (0.1-1)
Prioritize: 40
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.

This Description was in wheezy from 2011-09-18 to 2016-06-07;
This Description was in sid from 2011-09-07 to 2012-08-15;

This Description is not yet translated to ar

This Description is not yet translated to bg

This Description is not yet translated to ca

This Description is not yet translated to cs

This Description is not yet translated to da

This Description is not yet translated to de

This Description is not yet translated to de_DE

This Description is not yet translated to el

This Description is not yet translated to eo

This Description is not yet translated to es

This Description is not yet translated to eu

This Description is not yet translated to fi

This Description is not yet translated to fr

This Description is not yet translated to gl

This Description is not yet translated to hr

This Description is not yet translated to hu

This Description is not yet translated to id

This Description is not yet translated to it

This Description is not yet translated to ja

This Description is not yet translated to km

This Description is not yet translated to ko

This Description is not yet translated to ml

This Description is not yet translated to nb

This Description is not yet translated to nl

This Description is not yet translated to pl

This Description is not yet translated to pt

This Description is not yet translated to pt_AO

This Description is not yet translated to pt_BR

This Description is not yet translated to ro

This Description is not yet translated to ru

This Description is not yet translated to sk

This Description is not yet translated to sr

This Description is not yet translated to sv

This Description is not yet translated to tr

This Description is not yet translated to uk

This Description is not yet translated to vi

This Description is not yet translated to zh

This Description is not yet translated to zh_CN

This Description is not yet translated to zh_TW

parts-md5sum:

3c2b94ee68b569d80c096aef5ba6f6d7 da it     133189 
2ae96bdd014fdff9f5614d401833e5bb

other Descriptions of the depqbf package:

Description: 133189 patch
This Description is active
This Description was in forky from 2025-08-10 to 2026-09-02;
This Description was in sid from 2012-08-14 to 2026-09-02;
This Description was in trixie from 2023-06-12 to 2026-07-13;
This Description was in bookworm from 2021-08-18 to 2026-07-13;
This Description was in bullseye from 2020-03-03 to 2024-09-02;
This Description was in jessie from 2013-08-08 to 2018-06-26;
This Description was in stretch from 2015-05-03 to 2020-07-21;
This Description was in buster from 2017-07-28 to 2022-09-13;