dockerfile.run

pcvc4

automated theorem prover for SMT problems

Debian

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

Ubuntu

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

Arch Linux

RUN pacman -S --noconfirm cvc4

Kali Linux

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

Fedora

RUN dnf install -y cvc4

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