depqbf binary package in Ubuntu Cosmic i386

 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.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2018-05-06 14:18:53 UTC Published Ubuntu Cosmic i386 release universe interpreters Extra 5.01-3
  • Published on 2018-05-06
  • Copied from ubuntu cosmic-proposed i386 in Primary Archive for Ubuntu
  Deleted Ubuntu Cosmic i386 proposed universe interpreters Extra 5.01-3
  • Removal requested on 2018-05-06.
  • Deleted on 2018-05-06 by Ubuntu Archive Robot

    moved to release

  • Published on 2018-05-06
  2018-05-06 14:19:11 UTC Superseded Ubuntu Cosmic i386 release universe interpreters Extra 5.01-2
  • Removed from disk on 2018-05-07.
  • Removal requested on 2018-05-07.
  • Superseded on 2018-05-06 by i386 build of depqbf 5.01-3 in ubuntu cosmic PROPOSED
  • Published on 2018-05-05
  • Copied from ubuntu cosmic-proposed i386 in Primary Archive for Ubuntu
  2018-05-07 18:10:09 UTC Deleted Ubuntu Cosmic i386 proposed universe interpreters Extra 5.01-2
  • Removed from disk on 2018-05-07.
  • Removal requested on 2018-05-05.
  • Deleted on 2018-05-05 by Ubuntu Archive Robot

    moved to release

  • Published on 2018-05-05
  2018-05-05 20:50:04 UTC Superseded Ubuntu Cosmic i386 release universe interpreters Extra 5.01-1
  • Removal requested on 2018-05-06.
  • Superseded on 2018-05-05 by i386 build of depqbf 5.01-2 in ubuntu cosmic PROPOSED
  • Published on 2018-05-01
  • Copied from ubuntu zesty-proposed i386 in Primary Archive for Ubuntu

Source package