depqbf 5.01-1 source package in Ubuntu
Changelog
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
- Uploaded to:
- Sid
- Original maintainer:
- Debian Science Team
- Architectures:
- any
- Section:
- interpreters
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Bionic | release | universe | interpreters |
Downloads
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
- diff from 5.0-1 to 5.01-1 (15.1 KiB)
No changes file available.
Binary packages built by this source
- depqbf: No summary available for depqbf in ubuntu zesty.
No description available for depqbf in ubuntu zesty.
- depqbf-dbgsym: debug symbols for package depqbf
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.