CNF minimizer and minimal independent set calculator
Blocked by failed dependencies; not queued for a build.
No build output for this package in this campaign. Open a dependency's failure log below.
Planning log · · This campaign
pkgs/by-name/ar/arjun-cnf/package.nix