yosys-abc(1) on Linux
The text 905884fc9563, as Debian 12 (Bookworm), Debian 11 (Bullseye), Debian 10 (Buster), Debian 9 (Stretch) shipped it.
symlink to berkeley-abc
The text 905884fc9563, as Debian 12 (Bookworm), Debian 11 (Bullseye), Debian 10 (Buster), Debian 9 (Stretch) shipped it.
symlink to berkeley-abc