dockerfile.run – FLOTTER

FLOTTER

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