depqbf 5.01-1 source package in Ubuntu


depqbf (5.01-1) unstable; urgency=medium

  * New upstream version 5.01
  * bump Standards-Version to 3.9.8, no changes needed
  * debian/control: fix Vcs-Browser link
  * debian/depqbf.lintian-overrides: add non-dev-pkg-with-shlib-symlink

 -- Thomas Krennwallner <email address hidden>  Sun, 27 Nov 2016 17:21:59 +0100

Upload details

Uploaded by:
Debian Science Team on 2016-11-27
Uploaded to:
Original maintainer:
Debian Science Team
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Bionic release on 2017-10-24 universe interpreters
Artful release on 2017-04-20 universe interpreters


File Size SHA-256 Checksum
depqbf_5.01-1.dsc 1.9 KiB 0542214a5c911831edd679eed2e5d655402a165a9996805d151a9372858f210c
depqbf_5.01.orig.tar.gz 419.8 KiB ba2b93b3a83917f6084ab88d75b4848ce9354584fb36d70537fa7490e42921bc
depqbf_5.01-1.debian.tar.xz 4.4 KiB b44e6c307b1ec1aceeb6db00d2b0ca603a481ef94386cb563738cf93dc80e48d

Available diffs

No changes file available.

Binary packages built by this source

depqbf: 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, called QDPLL, with conflict-driven clause and solution-driven
 cube learning. By analyzing the syntactic structure of a formula,
 DepQBF tries to identify independent variables. In general, information
 on independent variables can be represented in the formal framework of
 dependency schemes. DepQBF computes the so-called "standard dependency
 scheme" of a given formula. In addition to other benefits, information
 on independent variables often increases the freedom for decision
 making and clause learning.

depqbf-dbgsym: No summary available for depqbf-dbgsym in ubuntu zesty.

No description available for depqbf-dbgsym in ubuntu zesty.