dockerfile.run – prover9-isofilter2

prover9-isofilter2

theorem prover and countermodel generator

Debian

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

Ubuntu

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

Kali Linux

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

Fedora

RUN dnf install -y prover9

Raspbian

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

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