anldp
program that searches for finite models of first-order statements
RUN apt-get update && \
apt-get install -y mace2
RUN apt-get update && \
apt-get install -y mace2
RUN apt-get update && \
apt-get install -y mace2