dockerfile.run

anldp

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 anldp on any operating system with command-not-found.com