Automic Vault
brew-Paketinformationen
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für stp in AI-Agent-Workflows.
Installation
sudo av install brew:stpbrew install stp
local Homebrew formula metadata
sudo port install stp
MacPorts ports tree · math/stp/Portfile · Quelle: api.github.com
sudo dnf install stp
Fedora Rawhide package metadata · stp · Quelle: dl.fedoraproject.org
nix profile install nixpkgs#stp
nixpkgs package indexes · pkgs/by-name/st/stp/package.nix · Quelle: api.github.com
sudo pacman -S stp
Arch Linux sync databases · stp · Quelle: geo.mirror.pkgbuild.com
sudo zypper install stp
openSUSE Tumbleweed package metadata · stp · Quelle: download.opensuse.org
Überblick
Automic Vault veröffentlicht paketspezifische Installationswege, Executable-Fakten und Sicherheitsmetadaten für stp aus lokalen Paketdaten.
Simple Theorem Prover, an efficient SMT solver for bitvectors
Sicherheitslage
narrow executable package without higher-risk signals.
green Risiko · low Konfidenz · appliance
Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.
Executables
| Befehl | Art | Sichtbarkeit | Hinweis |
|---|---|---|---|
stp | cli | global executable | |
stp_simple | cli | global executable |
Aktualität
Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.
Installationsmetadaten
| Paketschlüssel | brew:stp |
|---|---|
| Version | 2.3.4 |
| Paketmanager | Homebrew |
| Paketmanager-Seite | https://formulae.brew.sh/formula/stp |
| Homepage | https://stp.github.io/ |
| Repository | https://github.com/stp/stp |
| Upstream-Dokumentation | https://stp.github.io/ |
| Lizenz | MIT |
| Quellarchiv | https://github.com/stp/stp/archive/refs/tags/2.3.4.tar.gz |
| Aktualisiert | 2026-04-04T01:04:25Z |
| Pulse | updated |
| Abhängigkeiten | boost, cryptominisat, gmp, minisat, python@3.14 |
| Build-Abhängigkeiten | bison, cmake, flex |
| Von macOS bereitgestellte Bibliotheken | perl |
| Bottle | verfügbar (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | nicht definiert |
| Dienst | keiner deklariert |
Quellspur
Diese Seite wird von scripts/generate-pkg-pages.py geschrieben. Deployments verweigern die Veröffentlichung, wenn www/pkg/ gegenüber lokalen Paketdaten veraltet ist.