pkg.soopen package index

brew / 排名 4329

使用 Homebrew, dnf, MacPorts, Nix, pacman, zypper 安装 stp

查看 stp 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。

安装命令安全说明

安装

其他安装命令

macOS

Homebrew已验证 · 100%
brew install stp

local Homebrew formula metadata

MacPorts已验证 · 94%
sudo port install stp

MacPorts ports tree · math/stp/Portfile · 来源: api.github.com

Linux

Fedora dnf已验证 · 92%
sudo dnf install stp

Fedora Rawhide package metadata · stp · 来源: dl.fedoraproject.org

Nix已验证 · 92%
nix profile install nixpkgs#stp

nixpkgs package indexes · pkgs/by-name/st/stp/package.nix · 来源: api.github.com

Arch Linux pacman已验证 · 92%
sudo pacman -S stp

Arch Linux sync databases · stp · 来源: geo.mirror.pkgbuild.com

openSUSE zypper已验证 · 92%
sudo zypper install stp

openSUSE Tumbleweed package metadata · stp · 来源: download.opensuse.org

概览

软件包摘要

Simple Theorem Prover, an efficient SMT solver for bitvectors

命令和别名

  • stp
  • stp_simple

历史

项目历史与用法

STP, the Simple Theorem Prover, is an SMT solver focused on quantifier-free bitvectors and arrays. In CLI and package-manager culture it is a specialist developer tool installed by verification, symbolic-execution, and program-analysis users rather than a general-purpose command.

项目历史

The official AUTHORS file gives STP a begin date of November 2005 and names Vijay Ganesh as primary author and project leader, with early Stanford involvement from David L. Dill and later significant work by Trevor Hansen and others.

The official documentation ties STP to the CAV 2007 paper 'A Decision Procedure for Bit-Vectors and Arrays' and the CCS 2006 EXE paper, placing the project in the symbolic execution and automated bug-finding research lineage.

采用历史

STP's README describes constraints from program analysis tools, theorem provers, automated bug finders, cryptographic attack tools, intelligent fuzzers, model checkers, and other applications as its intended workload.

The supplied package facts list STP in Homebrew, Fedora, MacPorts, Nix, Arch, and openSUSE packaging, reflecting its role as an installable solver dependency for research tools and formal-methods stacks.

使用方式

The README recommends SMT-LIB2 as the common input format and shows direct CLI usage as stp myproblem.smt2. The docs also show library and Python usage, but the package-manager-facing executable remains the solver CLI.

Users care about STP when they need a bitvector/array solver that fits into scripts, test generators, fuzzers, model checkers, or symbolic execution systems.

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

STP is package-nerd relevant because solver availability is often the difference between a formal-methods tool working out of the box and becoming a hand-built research dependency. A packaged stp executable makes SMT workflows reproducible in CI and on developer machines.

It also illustrates a classic dependency category in developer package managers: a small command-line binary with deep academic roots, used indirectly by larger verification systems.

时间线

  • 2005-11: STP project begin date in AUTHORS.
  • 2006: EXE paper appears in CCS and is listed by STP documentation as a basis for the project.
  • 2007-07: Ganesh and Dill bitvector/array decision-procedure paper appears at CAV.
  • 2013: AUTHORS file lists Dan Liew and Khoo Yit Phang as current contributors beginning in 2013.

Related projects

  • STP's documentation names SMT-LIB2 as the recommended input format because it is parsed by modern bitvector solvers.
  • The project builds against SAT/SMT ecosystem components such as MiniSat, and the README presents Homebrew as one supported installation path.

安全态势

风险级别：绿色

narrow executable package without higher-risk signals.

风险分类器

绿色 风险 · 低 置信度 · appliance

原因

  • narrow executable package without higher-risk signals

信号

  • metadata:no-higher-risk-signals

安装行为

  • 未记录 Homebrew bottle 元数据。

建议审查

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

可执行文件

已安装的可执行文件

命令类型暴露范围备注
stp可执行文件已索引可执行文件从本地可执行文件索引发现。
stp_simple可执行文件已索引可执行文件从本地可执行文件索引发现。

新鲜度

版本和新鲜度

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

页面生成时间2026-08-03
管理器版本2.4.1
管理器更新时间2026-08-01
本地数据未知
上游不可用
检测到的最新版本未检测到
  • OK没有生成新鲜度警告。

安装元数据

软件包元数据

软件包键brew:stp
版本2.4.1
软件包管理器Homebrew
主页https://stp.github.io/
仓库https://github.com/stp/stp
最后更新2026-08-01T10:45:54Z
Pulseupdated
Bottle未记录
服务未声明

源数据库匹配

其他软件包管理器记录

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

Nix95%

stp

nix profile install nixpkgs#stp
  • normalized package name match
  • 匹配方式：Stp
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/st/stp/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
dnf95%

python3-stp 2.3.4-17.fc45

Python 3 interface to STP

https://stp.github.io/

sudo dnf install python3-stp
  • License: MIT
  • Category: Unspecified
  • Architecture: noarch
  • Source Package: stp
  • 2 依赖
  • 3 提供
  • normalized package name match
  • 匹配方式：Stp
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: python3-stp from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

stp 2.3.4-17.fc45

Constraint solver/decision procedure

https://stp.github.io/

sudo dnf install stp
  • License: MIT AND MIT-Modern-Variant AND LGPL-2.0-or-later AND BSD-3-Clause
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: stp
  • 8 依赖
  • 2 提供
  • normalized package name match
  • 匹配方式：Stp
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: stp from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

stp-devel 2.3.4-17.fc45

Development files for STP constraint solver/decision procedure

https://stp.github.io/

sudo dnf install stp-devel
  • License: MIT
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: stp
  • 3 依赖
  • 2 提供
  • normalized package name match
  • 匹配方式：Stp
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: stp-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
pacman95%

stp 2.3.4-10

Simple Theorem Prover

https://stp.github.io/

sudo pacman -S stp
  • License: MIT
  • Architecture: x86_64
  • 3 依赖
  • normalized package name match
  • 匹配方式：Stp
Arch Linux sync databases · geo.mirror.pkgbuild.com · Arch Linux sync databases: stp from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz
zypper95%

libstp2_3 2.3.4+20260728-1.1

Constraint Solver

https://github.com/stp/stp/wiki

sudo zypper install libstp2_3
  • License: MIT
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: stp
  • 7 依赖
  • 2 提供
  • normalized package name match
  • 匹配方式：Stp
openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: libstp2_3 from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst
zypper95%

python313-stp 2.3.4+20260728-1.1

Constraint Solver

https://github.com/stp/stp/wiki

sudo zypper install python313-stp
  • License: MIT
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: stp
  • 1 依赖
  • 2 提供
  • normalized package name match
  • 匹配方式：Stp
openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: python313-stp from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst
zypper95%

python314-stp 2.3.4+20260728-1.1

Constraint Solver

https://github.com/stp/stp/wiki

sudo zypper install python314-stp
  • License: MIT
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: stp
  • 1 依赖
  • 1 提供
  • normalized package name match
  • 匹配方式：Stp
openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: python314-stp from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst
zypper95%

stp 2.3.4+20260728-1.1

Constraint Solver

https://github.com/stp/stp/wiki

sudo zypper install stp
  • License: MIT
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: stp
  • 5 依赖
  • 2 提供
  • normalized package name match
  • 匹配方式：Stp
openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: stp from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst
zypper95%

stp-devel 2.3.4+20260728-1.1

Devel files for stp

https://github.com/stp/stp/wiki

sudo zypper install stp-devel
  • License: MIT
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: stp
  • 4 依赖
  • 2 提供
  • normalized package name match
  • 匹配方式：Stp
openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: stp-devel from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst
MacPorts95%

stp

sudo port install stp
  • normalized package name match
  • 匹配方式：Stp
MacPorts ports tree · api.github.com · MacPorts ports tree: math/stp/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

软件包图谱

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

来源线索

由仓库数据生成

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

使用的来源

  • Geiger risk classifier
  • cross-ecosystem install command graph
  • curated package history
  • external package-manager database matches
  • pkg.so package database
  • pkgdb category and tag curation