安装

其他安装命令

macOS

Homebrew已验证 · 100%

brew install depqbf

local Homebrew formula metadata

Linux

Debian apt已验证 · 92%

sudo apt install depqbf

Debian stable package indexes · depqbf · 来源: deb.debian.org

概览

软件包摘要

Solver for quantified boolean formulae (QBF)

项目链接

命令和别名

depqbf

历史

项目历史与用法

DepQBF is a search-based solver for quantified Boolean formulae in prenex conjunctive normal form. It is a compact research solver with command-line and library use cases, important in SAT/QBF competition and formal-methods circles rather than general application development.

项目历史

The DepQBF homepage records source releases back to version 0.1 in 2010 and version 1.0 in 2012. The GitHub repository was created in 2012, and the official site describes DepQBF as a QDPLL-based QBF solver with conflict-driven clause learning, solution-driven cube learning, and dependency-scheme analysis.

The 5.x and 6.x series added notable solver-engine work. Version 5.0 introduced blocked clause elimination as pre-, in-, and dynamic processing; version 6.0 added QCDCL with generalized axioms; version 6.03 replaced Bloqqer with Nenofex because Bloqqer was not reentrant.

采用历史

DepQBF adoption is visible through the official release history, QBF Gallery and QBFEVAL mentions, and published system descriptions. It won multiple medals in the 2014 QBF Gallery and placed in tracks at QBFEVAL 2016, which made it a known baseline and comparison point for QBF researchers.

使用方式

The command-line tool solves QDIMACS-style QBF inputs and returns the conventional SAT-competition exit codes 10 for satisfiable and 20 for unsatisfiable. It can also be built as a library through `libqdpll.a`, used through the `qdpll.h` API, and exercised via examples for incremental solving and clause groups.

为什么软件包爱好者会关心

For package nerds, DepQBF is interesting because Homebrew packages a research solver whose upstream distribution is essentially source tarballs, a README, academic papers, and a small C build. It is the kind of specialized solver package that matters deeply to benchmarks and formal-methods workflows while staying invisible to most developers.

时间线

2010: DepQBF 0.1 source code released.
2012: DepQBF 1.0 source code released and GitHub repository created.
2014: DepQBF won multiple QBF Gallery medals.
2015: Version 4.0 added a novel API for incremental solving.
2015: Version 5.0 added blocked clause elimination work.
2017: Version 6.0 introduced QCDCL with generalized axioms.
2017: Version 6.03 released as a maintenance release.

Related projects

Related official or upstream projects mentioned by DepQBF include Nenofex, PicoSAT, Bloqqer, QxBF, QBFCert, DepQBF4J, and QRATPre+.

来源

安全态势

风险级别：绿色

narrow executable package without higher-risk signals.

风险分类器

绿色风险 · 低置信度 · appliance

原因

narrow executable package without higher-risk signals

信号

metadata:no-higher-risk-signals

安装行为

formula 元数据中未记录 Homebrew post-install 钩子。
Homebrew bottle 元数据适用于 13 个平台目标。

建议审查

在无人值守的代理使用前，请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。

可执行文件

已安装的可执行文件

命令	类型	暴露范围	备注
`depqbf`	cli	全局可执行文件

新鲜度

版本和新鲜度

这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时，才会提示版本落后。

页面生成时间2026-07-08

管理器版本6.03

管理器更新时间

本地数据OK

上游not checked

检测到的最新版本未检测到

https://github.com/lonsing/depqbf

信息No package-manager update timestamp was available.低置信度
信息No cached GitHub release or tag data was available.https://github.com/lonsing/depqbfnone 置信度

安装元数据

软件包元数据

软件包键	brew:depqbf
版本	6.03
软件包管理器	Homebrew
软件包管理器页面	https://formulae.brew.sh/formula/depqbf
主页	https://lonsing.github.io/depqbf/
仓库	https://github.com/lonsing/depqbf
上游文档	https://github.com/lonsing/depqbf#readme
许可证	GPL-3.0-or-later
源码归档	https://github.com/lonsing/depqbf/archive/refs/tags/version-6.03.tar.gz
Bottle	可用 (于 arm64_big_sur, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, catalina, monterey, sonoma, ventura, x86_64_linux)
Homebrew post-install	未定义
服务	未声明

注册表事实

源数据库详情

Source Database	Homebrew formula API
Tap	homebrew/core
Full Name	depqbf
Version Scheme	0
Revision	0
Head Version	HEAD
Bottle Stable Root URL	https://ghcr.io/v2/homebrew/core
Deprecated	no
Disabled	no
Keg Only	no
URL Keys	head stable

源数据库匹配

其他软件包管理器记录

匹配项来自外部软件包管理器索引，并与本地 Automic Vault 软件包链接分开显示。

Debian apt95%

depqbf 5.01-3

solver for quantified boolean formulae

https://lonsing.github.io/depqbf/

sudo apt install depqbf

Section: interpreters
Architecture: amd64
1 依赖
normalized package name match
匹配方式：Depqbf

Debian stable package indexes · deb.debian.org · Debian stable package indexes: depqbf from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

Ubuntu apt95%

depqbf 5.01-3

solver for quantified boolean formulae

https://lonsing.github.io/depqbf/

sudo apt install depqbf

Section: universe/interpreters
Architecture: amd64
1 依赖
normalized package name match
匹配方式：Depqbf

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: depqbf from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

软件包图谱

链接来自本地软件包关系图、补充数据、依赖边、生态匹配和软件包 hub 归属。

来源线索

由仓库数据生成

此页面由 av-web 从 scripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。

Combined YAML source

View the package source record on GitHub.

combined/depqbf.yml

使用的来源

Geiger risk classifier
Nucleus package database
av.db category and tag curation
cross-ecosystem install command graph
curated package history
external package-manager database matches
package relationship graph
package version freshness
package-page enrichment

使用 Homebrew, apt 安装 depqbf