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

See full publishing history Publishing

Series Pocket Published Component Section
Noble release universe interpreters
Mantic release universe interpreters
Lunar release universe interpreters
Jammy release universe interpreters
Focal release universe interpreters

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

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