Fast solver for the #SAT model counting problem
Build failed; an explicit retry is required.
Failure log · · This campaign
Planning log · · This campaign
pkgs/by-name/sh/sharpsat-td/package.nixDirect dependencies
bash-5.2p37cmake-3.31.6gmp-with-cxx-6.3.0mpfr-4.2.2sourcesourcesourcestdenv-linuxSelected dependents
None recorded.