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 Pocket 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

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.