# stp mit Homebrew, dnf, MacPorts, Nix, pacman, zypper installieren
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für stp in AI-Agent-Workflows.
## Installation
```sh
sudo av install brew:stp
```
Weitere Installationsbefehle:
### macOS
- Homebrew (100%):
```sh
brew install stp
```
Evidenz: local Homebrew formula metadata
- MacPorts (94%):
```sh
sudo port install stp
```
Evidenz: MacPorts ports tree: math/stp/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1
### Linux
- dnf (92%):
```sh
sudo dnf install stp
```
Evidenz: Fedora Rawhide package metadata: stp from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
- Nix (92%):
```sh
nix profile install nixpkgs#stp
```
Evidenz: nixpkgs package indexes: pkgs/by-name/st/stp/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
- pacman (92%):
```sh
sudo pacman -S stp
```
Evidenz: Arch Linux sync databases: stp from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz
- zypper (92%):
```sh
sudo zypper install stp
```
Evidenz: openSUSE Tumbleweed package metadata: stp from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst
## Paketfakten
- **Paketschlüssel:** brew:stp
- **Paketmanager:** Homebrew
- **Version:** 2.4.1
- **Quellzusammenfassung:** Simple Theorem Prover, an efficient SMT solver for bitvectors
- **Homepage:**
- **Repository:**
- **Zuletzt aktualisiert:** 2026-08-01T10:45:54Z
- **Generiert:** 2026-08-03T19:37:03+00:00
## Executables
- stp (Alias)
- stp_simple (Alias)
## Installationsverhalten
- Bottle: nicht verfügbar
## Version und Aktualität
- Seite generiert: 2026-08-03
- Manager-Version: 2.4.1
## Projektgeschichte und Nutzung
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.
### Projektgeschichte
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.
### Adoptionsgeschichte
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.
### Wie es verwendet wird
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.
### Warum Paket-Nerds sich dafür interessieren
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.
### Zeitleiste
- 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.
### Quellen
-
-
-
- source_facts.package-manager
## Sicherheitshinweise
narrow executable package without higher-risk signals.
- **Geiger-Risiko:** grün / niedrig
- narrow executable package without higher-risk signals
## Andere Paketmanager-Einträge
- Nix - stp: normalized package name match | nixpkgs package indexes: pkgs/by-name/st/stp/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
- dnf - python3-stp - 2.3.4-17.fc45: normalized package name match | 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 | Python 3 interface to STP | https://stp.github.io/
- dnf - stp - 2.3.4-17.fc45: normalized package name match | Fedora Rawhide package metadata: stp from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst | Constraint solver/decision procedure | https://stp.github.io/
- dnf - stp-devel - 2.3.4-17.fc45: normalized package name match | 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 | Development files for STP constraint solver/decision procedure | https://stp.github.io/
- pacman - stp - 2.3.4-10: normalized package name match | Arch Linux sync databases: stp from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz | Simple Theorem Prover | https://stp.github.io/
- zypper - libstp2_3 - 2.3.4+20260728-1.1: normalized package name match | openSUSE Tumbleweed package metadata: libstp2_3 from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst | Constraint Solver | https://github.com/stp/stp/wiki
- zypper - python313-stp - 2.3.4+20260728-1.1: normalized package name match | openSUSE Tumbleweed package metadata: python313-stp from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst | Constraint Solver | https://github.com/stp/stp/wiki
- zypper - python314-stp - 2.3.4+20260728-1.1: normalized package name match | openSUSE Tumbleweed package metadata: python314-stp from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst | Constraint Solver | https://github.com/stp/stp/wiki
- zypper - stp - 2.3.4+20260728-1.1: normalized package name match | openSUSE Tumbleweed package metadata: stp from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst | Constraint Solver | https://github.com/stp/stp/wiki
- zypper - stp-devel - 2.3.4+20260728-1.1: normalized package name match | openSUSE Tumbleweed package metadata: stp-devel from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst | Devel files for stp | https://github.com/stp/stp/wiki
- MacPorts - stp: normalized package name match | MacPorts ports tree: math/stp/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1
## Combined YAML source
View the package source record on GitHub. [combined/stp.yml](https://github.com/mxcl/pkgdb/blob/main/combined/stp.yml)
## Quellen
- pkg.so package database
- Geiger risk classifier
- curated package history
- pkgdb category and tag curation
- external package-manager database matches
- cross-ecosystem install command graph