python313Packages.stp 2.4.1 maintained
Simple Theorem Prover
- Name
stp-2.4.1- Package set
- python313Packages
- Homepage
- https://stp.github.io/
- License
- MIT
- Source
- pkgs/by-name/st/stp/package.nix:171
- Derivation
/nix/store/7852cl5zh80902yzjxn3xw7axmnlw9y5-stp-2.4.1.drv
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 | |
| python313 3.13.15 | buildInputs | 13,660 | team-only | |
| 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 | |
| flex 2.6.4 | nativeBuildInputs | 52,194 | unmaintained | |
| gitMinimal 2.55.0 | nativeBuildInputs | 49,169 | maintained | |
| gtest 1.18.0 | nativeBuildInputs | 51,079 | single | |
| lit 18.1.8 | nativeBuildInputs | 1,115 | unmaintained | |
| 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 | |
| pkg-config 0.29.2 | nativeBuildInputs | 78,016 | unmaintained | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.