dockerfile.run – ladr_to

ladr_to_tptp

the LADR deduction library, miscellaneous applications

Debian

RUN apt-get update && \
    apt-get install -y ladr4-apps

Ubuntu

RUN apt-get update && \
    apt-get install -y ladr4-apps

Kali Linux

RUN apt-get update && \
    apt-get install -y ladr4-apps

Raspbian

RUN apt-get update && \
    apt-get install -y ladr4-apps

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