depqbf 5.01-3 source package in Ubuntu
Changelog
depqbf (5.01-3) unstable; urgency=medium * debian/tests: add dep8 testsuite -- Thomas Krennwallner <email address hidden> Sat, 05 May 2018 12:58:06 +0200
Upload details
- Uploaded by:
- Debian Science Team
- Uploaded to:
- Sid
- Original maintainer:
- Debian Science Team
- Architectures:
- any
- Section:
- interpreters
- Urgency:
- Medium Urgency
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
depqbf_5.01-3.dsc | 1.9 KiB | 68385090b652441871a36d0e3e188dedff99792ecad6dcc091ab901cd31c8c84 |
depqbf_5.01.orig.tar.gz | 419.8 KiB | ba2b93b3a83917f6084ab88d75b4848ce9354584fb36d70537fa7490e42921bc |
depqbf_5.01-3.debian.tar.xz | 4.9 KiB | d0f637ef62429e968a01b4f6fcc8dd31ce1c7880dbdd4a173b24e73e2eac4466 |
Available diffs
- diff from 5.01-2 to 5.01-3 (617 bytes)
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