dockerfile.run – berkeley-abc

berkeley-abc

ABC - A System for Sequential Synthesis and Verification

Debian

RUN apt-get update && \
    apt-get install -y berkeley-abc

Ubuntu

RUN apt-get update && \
    apt-get install -y berkeley-abc

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