depqbf 2.0-1 source package in Ubuntu
Changelog
depqbf (2.0-1) unstable; urgency=low * New upstream release. * debian/patches/depqbf-makefile.patch: quilt refresh. * debian/compat: Bump version. * debian/control: Bump Standards-Version, Build-Depends. * debian/copyright: Update year. * debian/docs: Add NEWS. -- Thomas Krennwallner <email address hidden> Thu, 19 Sep 2013 12:36:40 +0200
Upload details
- Uploaded by:
- Debian Science Team
- Uploaded to:
- Sid
- Original maintainer:
- Debian Science Team
- Architectures:
- any
- Section:
- interpreters
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Trusty | release | universe | interpreters |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
depqbf_2.0-1.dsc | 1.9 KiB | 947905d9209bdd3afbd044a6d5f6b1283c9e949f65f00a108c68e9dce19533d6 |
depqbf_2.0.orig.tar.gz | 124.6 KiB | 2beb1b2d0316c2732e5078f578352d931ee576f95e1ebc30662547cc886216c3 |
depqbf_2.0-1.debian.tar.gz | 3.9 KiB | 06b83bf510e14780773a2598b1fa3753fb6ecedae986d94a48d44981df6d3070 |
Available diffs
- diff from 1.0-1 to 2.0-1 (26.0 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.