prover9-mace4
GUI for Prover9 and Mace4
RUN apt-get update && \
apt-get install -y prover9-mace4
RUN apt-get update && \
apt-get install -y prover9-mace4
RUN apt-get update && \
apt-get install -y prover9-mace4
RUN apt-get update && \
apt-get install -y prover9-mace4