deb_control_files:
- control
- md5sums
- shlibs
- triggers
deb_fields:
Architecture: arm64
Depends: libc6 (>= 2.17)
Description: |-
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.
Homepage: https://lonsing.github.io/depqbf/
Installed-Size: '634'
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Package: depqbf
Priority: optional
Section: interpreters
Version: 5.01-3
srcpkg_name: depqbf
srcpkg_version: 5.01-3