stp 2.4.1 maintained
Simple Theorem Prover
- Name
stp-2.4.1- Package set
- top-level
- Homepage
- https://stp.github.io/
- License
- MIT
- Source
- pkgs/by-name/st/stp/package.nix:171
- Derivation
/nix/store/hqli3f0j68i8209w9bjk5dllrz1c0dk0-stp-2.4.1.drv- Repology
- not reported as outdated · look up (as of 2026-10-07T10:23:38Z)
- Also available as
python314Packages.stp
Maintainers 2
| Handle | Name | Contact | Via |
|---|---|---|---|
| McSinyx | Nguyễn Gia Phong | GitHub · cnx@loang.net · @cnx:loang.net | listed on package |
| numinit | Morgan Jones | GitHub · me+nixpkgs@numin.it | listed on package |
Dependencies 17
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| boost 1.91.0 | buildInputs | 23,831 | unmaintained | |
| gmp 6.3.0 | buildInputs | 49,290 | single | |
| minisat 2.2.1 | buildInputs | 7 | single | |
| python3 3.14.7 | buildInputs | 72,537 | team-only outdated | |
| zlib 1.3.2 | buildInputs | 102,427 | team-only | |
| bison 3.8.2 | nativeBuildInputs | 77,242 | unmaintained | |
| cmake 4.4.3 | nativeBuildInputs | 68,875 | unmaintained outdated | |
| flex 2.6.4 | nativeBuildInputs | 52,194 | unmaintained | |
| gitMinimal 2.55.0 | nativeBuildInputs | 49,169 | maintained outdated | |
| gtest 1.18.0 | nativeBuildInputs | 51,079 | single | |
| lit 18.1.8 | nativeBuildInputs | 1,115 | unmaintained outdated | |
| llvm 21.1.8 | nativeBuildInputs | 31,300 | team-only | |
| outputcheck 0.4.2 | nativeBuildInputs | 3 | single | |
| perl 5.42.3 | nativeBuildInputs | 80,356 | team-only outdated | |
| pkg-config 0.29.2 | nativeBuildInputs | 78,016 | unmaintained | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 1 directly, 1 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| klee 3.2 | buildInputs | 0 | single broken |