macOS
Homebrew確認済み · 100%
brew install stplocal Homebrew formula metadata
MacPorts確認済み · 94%
sudo port install stpMacPorts ports tree · math/stp/Portfile · ソース: api.github.com
brew
stp を Homebrew, dnf, MacPorts, Nix, pacman, zypper でインストール
stp のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
追加のインストールコマンド
Linux
Fedora dnf確認済み · 92%
sudo dnf install stpFedora Rawhide package metadata · stp · ソース: dl.fedoraproject.org
Nix確認済み · 92%
nix profile install nixpkgs#stpnixpkgs package indexes · pkgs/by-name/st/stp/package.nix · ソース: api.github.com
Arch Linux pacman確認済み · 92%
sudo pacman -S stpArch Linux sync databases · stp · ソース: geo.mirror.pkgbuild.com
openSUSE zypper確認済み · 92%
sudo zypper install stpopenSUSE 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.
ソース
- https://github.com/stp/stp#readme
- https://github.com/stp/stp/blob/master/AUTHORS
- https://stp.readthedocs.io/
- source_facts.package-manager
セキュリティ状態
リスクレベル: グリーン
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 メタデータは 6 個のプラットフォームターゲットで利用できます。
- 5 件の実行時依存関係とともにインストールされます。
- ビルドメタデータには 3 件のビルド依存関係があります。
推奨レビュー
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
実行可能ファイル
インストールされる実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
stp | cli | グローバル実行可能ファイル | |
stp_simple | cli | グローバル実行可能ファイル |
鮮度
バージョンと鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
ページ生成日2026-07-10
マネージャ版2.3.4
マネージャ更新日2026-06-14
ローカルデータOK
上流最新
検出された最新2.3.4
- OK鮮度警告は生成されていません。
インストールメタデータ
パッケージメタデータ
| パッケージキー | brew:stp |
|---|---|
| バージョン | 2.3.4 |
| パッケージマネージャ | Homebrew |
| パッケージマネージャページ | https://formulae.brew.sh/formula/stp |
| ホームページ | https://stp.github.io/ |
| リポジトリ | https://github.com/stp/stp |
| 上流ドキュメント | https://github.com/stp/stp#readme |
| ライセンス | MIT |
| ソースアーカイブ | https://github.com/stp/stp/archive/refs/tags/2.3.4.tar.gz |
| 最終更新 | 2026-06-14T15:13:51+02:00 |
| 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 | 未定義 |
| サービス | 宣言なし |
レジストリ情報
ソースデータベース詳細
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | stp |
| Version Scheme | 0 |
| Revision | 9 |
| Head Version | HEAD |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
ソースデータベース一致
他のパッケージマネージャ記録
一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。
Nix95%
stp
nix profile install nixpkgs#stp- normalized package name match
- 一致条件: Stp
dnf95%
python3-stp 2.3.4-16.fc45
Python 3 interface to STP
sudo dnf install python3-stp- License: MIT
- Category: Unspecified
- Architecture: noarch
- Source Package: stp
- 2 依存関係
- 3 提供
- normalized package name match
- 一致条件: Stp
dnf95%
stp 2.3.4-16.fc45
Constraint solver/decision procedure
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
dnf95%
stp-devel 2.3.4-16.fc45
Development files for STP constraint solver/decision procedure
sudo dnf install stp-devel- License: MIT
- Category: Unspecified
- Architecture: x86_64
- Source Package: stp
- 3 依存関係
- 2 提供
- normalized package name match
- 一致条件: Stp
pacman95%
stp 2.3.4-10
Simple Theorem Prover
sudo pacman -S stp- License: MIT
- Architecture: x86_64
- 3 依存関係
- normalized package name match
- 一致条件: Stp
zypper95%
libstp2_3 2.3.4+20240918-1.7
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
zypper95%
python3-stp 2.3.4+20240918-1.7
Python bindings for stp
https://github.com/stp/stp/wiki
sudo zypper install python3-stp- License: MIT
- Category: Unspecified
- Architecture: noarch
- Source Package: stp
- 2 依存関係
- 1 提供
- normalized package name match
- 一致条件: Stp
zypper95%
stp 2.3.4+20240918-1.7
Constraint Solver
https://github.com/stp/stp/wiki
sudo zypper install stp- License: MIT
- Category: Unspecified
- Architecture: x86_64
- Source Package: stp
- 5 依存関係
- 1 提供
- normalized package name match
- 一致条件: Stp
zypper95%
stp-devel 2.3.4+20240918-1.7
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
MacPorts95%
stp
sudo port install stp- normalized package name match
- 一致条件: Stp
ソース経路
リポジトリデータから生成
このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。
Combined YAML source
View the package source record on GitHub.
使用ソース
- 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