dockerfile.run – qprofdiff

qprofdiff

theorem prover from Microsoft Research

Debian

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

Ubuntu

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

Arch Linux

RUN pacman -S --noconfirm z3

Kali Linux

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

Fedora

RUN dnf install -y z3

Raspbian

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

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