Automic Vault
安装
sudo av install brew:stpbrew install stp
local Homebrew formula metadata
sudo port install stp
MacPorts ports tree · math/stp/Portfile · 来源: api.github.com
sudo dnf install stp
Fedora Rawhide package metadata · stp · 来源: dl.fedoraproject.org
nix profile install nixpkgs#stp
nixpkgs package indexes · pkgs/by-name/st/stp/package.nix · 来源: api.github.com
sudo pacman -S stp
Arch Linux sync databases · stp · 来源: geo.mirror.pkgbuild.com
sudo zypper install stp
openSUSE Tumbleweed package metadata · stp · 来源: download.opensuse.org
概览
Automic Vault 根据本地软件包数据发布 stp 的安装路径、可执行文件事实和安全元数据。
Simple Theorem Prover, an efficient SMT solver for bitvectors
安全态势
narrow executable package without higher-risk signals.
green 风险 · low 置信度 · appliance
在无人值守的代理使用前，请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。
可执行文件
| 命令 | 类型 | 暴露范围 | 备注 |
|---|---|---|---|
stp | cli | global executable | |
stp_simple | cli | global executable |
新鲜度
这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时，才会提示版本落后。
安装元数据
| 软件包键 | brew:stp |
|---|---|
| 版本 | 2.3.4 |
| 软件包管理器 | Homebrew |
| 软件包管理器页面 | https://formulae.brew.sh/formula/stp |
| 主页 | https://stp.github.io/ |
| 仓库 | https://github.com/stp/stp |
| 上游文档 | https://stp.github.io/ |
| 许可证 | MIT |
| 源码归档 | https://github.com/stp/stp/archive/refs/tags/2.3.4.tar.gz |
| 更新 | 2026-04-04T01:04:25Z |
| Pulse | updated |
| 依赖 | boost, cryptominisat, gmp, minisat, python@3.14 |
| 构建依赖 | bison, cmake, flex |
| macOS 提供的库 | perl |
| Bottle | 可用 (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | 未定义 |
| 服务 | 未声明 |
来源线索
此页面由 scripts/generate-pkg-pages.py 写入。如果 www/pkg/ 相对于本地软件包数据已过期，部署会拒绝发布。