klee 3.2 single broken
Symbolic virtual machine built on top of LLVM
- Name
klee-3.2- Package set
- top-level
- Homepage
- https://klee.github.io
- License
- NCSA
- Main program
klee- Source
- pkgs/by-name/kl/klee/package.nix:262
- Derivation
/nix/store/m9wr31xg9rqy3w8dyv1xgq55rkpvxplh-klee-3.2.drv- Repology
- not reported as outdated · look up (as of 2026-10-07T10:23:38Z)
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| numinit | Morgan Jones | GitHub · me+nixpkgs@numin.it | listed on package |
Dependencies 12
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| cryptominisat 5.11.21 | buildInputs | 23 | single outdated | |
| gperftools 2.18.1 | buildInputs | 2,298 | single | |
| llvm_19 19.1.7 | buildInputs | 47 | team-only | |
| sqlite 3.53.3 | buildInputs | 75,538 | maintained outdated | |
| stp 2.4.1 | buildInputs | 1 | maintained | |
| z3 5.1.0 | buildInputs | 114 | maintained | |
| cmake 4.4.3 | nativeBuildInputs | 68,875 | unmaintained outdated | |
| gtest 1.18.0 | nativeBuildInputs | 51,079 | single | |
| lit 18.1.8 | nativeBuildInputs | 1,115 | unmaintained outdated | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| clang_19 19.1.7 | other input | 11 | team-only | |
| llvmPackages_19.stdenv 26.05pre-git | other input | 6 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.