dockerfile.run

mace2

program that searches for finite models of first-order statements

Debian

RUN apt-get update && \
    apt-get install -y mace2

Ubuntu

RUN apt-get update && \
    apt-get install -y mace2

Raspbian

RUN apt-get update && \
    apt-get install -y mace2

click the source code to copy install mace2 on any operating system with command-not-found.com