kissat 4.0.4 maintained
'keep it simple and clean bare metal SAT solver' written in C
- Name
kissat-4.0.4- Package set
- top-level
- Homepage
- https://fmv.jku.at/kissat
- License
- MIT
- Main program
kissat- Source
- pkgs/by-name/ki/kissat/package.nix:13
- Derivation
/nix/store/wbg67ls7h8gd5z6krr2h7d787n8fl7lz-kissat-4.0.4.drv- Repology
- not reported as outdated · look up (as of 2026-10-08T00:43:59Z)
Maintainers 2
| Handle | Name | Contact | Via |
|---|---|---|---|
| chrjabs | Christoph Jabs | GitHub · contact@christophjabs.info | listed on package |
| shnarazk | Narazaki Shuji | GitHub · shujinarazaki@protonmail.com | listed on package |
Dependencies 5
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| drat-trim 2023-05-22 | nativeBuildInputs | 21 | single | |
| p7zip 17.06 | nativeBuildInputs | 106 | maintained | |
| pkg-config 0.29.2 | nativeBuildInputs | 77,751 | unmaintained | |
| bashNonInteractive 5.3p15 | other input | 102,175 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,063 | team-only |
Used by 1 directly, 20 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| bitwuzla 0.9.1 | buildInputs | 19 | single |