pkg.soopen package index

brew / 順位 4329

stp を Homebrew, dnf, MacPorts, Nix, pacman, zypper でインストール

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

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

エージェント安全ガイド

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

使用ソース

  • 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