dockerfile.run

SPASS

An automated theorem prover for first-order logic with equality

Debian

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

Ubuntu

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

Raspbian

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

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