berkeley-abc

ABC - A System for Sequential Synthesis and Verification

Debian Debian
RUN apt-get update && \ apt-get install -y berkeley-abc
Ubuntu
RUN apt-get update && \ apt-get install -y berkeley-abc
image/svg+xml Kali Linux
RUN apt-get update && \ apt-get install -y berkeley-abc
Raspbian
RUN apt-get update && \ apt-get install -y berkeley-abc
click the source code to copy install berkeley-abc on any operating system with command-not-found.com