Binary package “depqbf” in ubuntu trusty
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.
Source package
Published versions
- depqbf 2.0-1 in amd64 (Proposed)
- depqbf 2.0-1 in amd64 (Release)
- depqbf 2.0-1 in arm64 (Proposed)
- depqbf 2.0-1 in arm64 (Release)
- depqbf 2.0-1 in armhf (Proposed)
- depqbf 2.0-1 in armhf (Release)
- depqbf 2.0-1 in i386 (Proposed)
- depqbf 2.0-1 in i386 (Release)
- depqbf 2.0-1 in powerpc (Proposed)
- depqbf 2.0-1 in powerpc (Release)
- depqbf 2.0-1 in ppc64el (Release)