State-of-the-art MaxSAT and Pseudo-Boolean solver
Build failed; an explicit retry is required.
Failure log · · This campaign
Planning log · · This campaign
pkgs/by-name/op/open-wbo/package.nixDirect dependencies
bash-5.2p37gmp-with-cxx-6.3.0sourcestdenv-linuxzlib-1.3Selected dependents
None recorded.