berkeley-abc
ABC - A System for Sequential Synthesis and Verification
RUN apt-get update && \
apt-get install -y berkeley-abc
RUN apt-get update && \
apt-get install -y berkeley-abc
RUN apt-get update && \
apt-get install -y berkeley-abc
RUN apt-get update && \
apt-get install -y berkeley-abc