Compact and readable SAT solver
Build failed; an explicit retry is required.
Failure log · · This campaign
Planning log · · This campaign
pkgs/by-name/mi/minisat/package.nixCould not load new data. Automatic updates will retry; you can also reload.
Compact and readable SAT solver
Build failed; an explicit retry is required.
Failure log · · This campaign
Planning log · · This campaign
pkgs/by-name/mi/minisat/package.nix