dockerfile.run – lfsc-checker

lfsc-checker

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