Tool for squential logic synthesis and formal verification
Build log · · This campaign
Planning log · · This campaign
pkgs/by-name/ab/abc-verifier/package.nixDirect dependencies
bash-5.2p37cmake-3.31.6readline-8.2p13sourcestdenv-linuxSelected dependents
None recorded.