depqbf 5.01-2 source package in Ubuntu


depqbf (5.01-2) unstable; urgency=medium

  * debian/gbp.conf: pristine-tar is True
  * debian/control: cleanup for Standards-Version 4.1.4
    - set Priority optional
    - Build-Depends on debhelper (>= 11)
    - use secure Homepage
    - update Vcs-* for
  * fix DEB_BUILD_MAINT_OPTIONS and install changelog
    - debian/rules: add DEB_BUILD_MAINT_OPTIONS = hardening=+all
    - install NEWS as upstream changelog
  * debian/copyright: fix Upstream-Contact, use secure Format and Source
  * debian/compat: set to 11

 -- Thomas Krennwallner <email address hidden>  Sat, 05 May 2018 09:46:34 +0200

Upload details

Uploaded by:
Debian Science Team on 2018-05-05
Uploaded to:
Original maintainer:
Debian Science Team
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section


File Size SHA-256 Checksum
depqbf_5.01-2.dsc 1.9 KiB 313c5c088fbcd855f29de0d4d9bef3eecbe6ec10951b92ae42198b6c92d15e71
depqbf_5.01.orig.tar.gz 419.8 KiB ba2b93b3a83917f6084ab88d75b4848ce9354584fb36d70537fa7490e42921bc
depqbf_5.01-2.debian.tar.xz 4.6 KiB 60e221d5caeae043c1cf0dcbfb4ff7ae21fad0017144283befae04dd8c6cc42f

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: debug symbols for depqbf