dockerfile.run

otter

resolution-style theorem prover

Debian

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

Ubuntu

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

Raspbian

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

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