why3
Software verification platform
RUN apt-get update && \
apt-get install -y why3
RUN apt-get update && \
apt-get install -y why3
RUN apt-get update && \
apt-get install -y why3
RUN dnf install -y why3
RUN apt-get update && \
apt-get install -y why3