depqbf 5.0-1 source package in Ubuntu
Changelog
depqbf (5.0-1) unstable; urgency=medium * Imported Upstream version 5.0 * refresh depqbf-makefile.patch * depqbf.lintian-overrides: add override for no-shlibs-control-file for internal libqdpll.so.1.0 -- Thomas Krennwallner <email address hidden> Tue, 22 Dec 2015 09:17:35 +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 | |
---|---|---|---|---|
Xenial | release | universe | interpreters |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
depqbf_5.0-1.dsc | 1.9 KiB | 0eebe3ce2d070dfbb3964e98696becc1a003a602e2e19ae15a2a0c2179537e46 |
depqbf_5.0.orig.tar.gz | 419.7 KiB | 9a4c9a60246e1c00128ae687f201b6dd309ece1e7601a6aa042a6317206f5dc7 |
depqbf_5.0-1.debian.tar.xz | 4.2 KiB | 9789ebcc04c548342a1a6f650bc68234539b8bb8fc4bcdd481101f574e1497b5 |
Available diffs
- diff from 3.04-1 to 5.0-1 (517.9 KiB)
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.