# stp 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/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-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/155b97171d05e27afd950b6fe0d55513ff38f4597110664535bceedc680bbe6fd459f0733718dcc21dcf0efc7c8250fd1390c73d4790b42e62fb2c16a87242e5-primary.xml.zst

## Paketfakten

- **Paketschlüssel:** brew:stp
- **Paketmanager:** Homebrew
- **Paketmanager-Seite:** <https://formulae.brew.sh/formula/stp>
- **Version:** 2.3.4
- **Quellzusammenfassung:** Simple Theorem Prover, an efficient SMT solver for bitvectors
- **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
- **Generierte Quelle:** 2026-05-26T22:45:13+00:00

## Executables

- stp (cli)
- stp_simple (cli)
- stp (Alias)
- stp_simple (Alias)

## Abhängigkeiten

- boost
- cryptominisat
- gmp
- minisat
- python@3.14

## Build-Abhängigkeiten

- bison
- cmake
- flex

## Von macOS bereitgestellte Bibliotheken

- perl

## Installationsverhalten

- Post-install-Hook: nicht definiert
- Bottle: verfügbar auf arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## Aktualität

- Seite generiert: 2026-05-26
- Manager-Version: 2.3.4
- Manager aktualisiert: 2026-04-04
- lokale Daten: ok
- Upstream-Repository: https://github.com/stp/stp
- neueste erkannte Version: 2.3.4 (current)

## Sicherheitshinweise

narrow executable package without higher-risk signals.

- **Geiger-Risiko:** green / low
- narrow executable package without higher-risk signals

## Verwandte Links

- [python@3.14](https://www.automicvault.com/pkg/brew/python-3-14/) - Runtime dependency declared by Homebrew.
- [gmp](https://www.automicvault.com/pkg/brew/gmp/) - Runtime dependency declared by Homebrew.
- [boost](https://www.automicvault.com/pkg/brew/boost/) - Runtime dependency declared by Homebrew.
- [cryptominisat](https://www.automicvault.com/pkg/brew/cryptominisat/) - Runtime dependency declared by Homebrew.
- [minisat](https://www.automicvault.com/pkg/brew/minisat/) - Runtime dependency declared by Homebrew.
- [cmake](https://www.automicvault.com/pkg/brew/cmake/) - Build dependency declared by Homebrew.
- [bison](https://www.automicvault.com/pkg/brew/bison/) - Build dependency declared by Homebrew.
- [flex](https://www.automicvault.com/pkg/brew/flex/) - Build dependency declared by Homebrew.
- [klee](https://www.automicvault.com/pkg/brew/klee/) - Popular package that depends on this formula.

## Quellen

- Nucleus package database
- Geiger risk classifier
- package-page enrichment
- package version freshness
- package relationship graph
- cross-ecosystem install command graph