Modern, parallel SAT solver (sequential version)
Build failed; an explicit retry is required.
Failure log · · This campaign
Planning log · · This campaign
pkgs/applications/science/logic/glucose/default.nixDirect dependencies
bash-5.2p37glucose-4.2.1.zipstdenv-linuxunzip-6.0zlib-1.3Selected dependents
None recorded.