cryptominisat 5.11.21 single outdated
Advanced SAT Solver
- Name
cryptominisat-5.11.21- Package set
- top-level
- Homepage
- https://github.com/msoos/cryptominisat
- License
- MIT
- Main program
cryptominisat5- Source
- pkgs/by-name/cr/cryptominisat/package.nix:34
- Derivation
/nix/store/662zbvz7m2lg6az368qrl4zzijyml1gg-cryptominisat-5.11.21.drv- Repology
- outdated, newest version is 5.16.0 · cryptominisat (as of 2026-10-07T10:23:38Z)
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| Mic92 | Jörg Thalheim | GitHub · joerg@thalheim.io · @joerg:thalheim.io | listed on package |
Dependencies 5
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| boost 1.91.0 | buildInputs | 23,831 | unmaintained | |
| cmake 4.4.3 | nativeBuildInputs | 68,875 | unmaintained outdated | |
| python3 3.14.7 | nativeBuildInputs | 72,537 | team-only outdated | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 4 directly, 23 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| bitwuzla 0.9.1 | buildInputs | 19 | single | |
| arjun-cnf 2.5.2 | buildInputs | 1 | single | |
| approxmc 4.1.24 | buildInputs | 0 | single | |
| klee 3.2 | buildInputs | 0 | single broken |