filnix.runningLive log

sharpsat-td

unstable-2021-09-05FailedDependencies →

Fast solver for the #SAT model counting problem

Build failed; an explicit retry is required.

Failure log · 15 Sep 10:45 · This campaign

Planning log · 15 Sep 09:40 · This campaign

pkgs/by-name/sh/sharpsat-td/package.nix

Direct dependencies

bash-5.2p37 cmake-3.31.6 gmp-with-cxx-6.3.0 mpfr-4.2.2 source source source stdenv-linux

Selected dependents

None recorded.