dockerfile.run

cvc3

Automatic theorem prover for SMT problems

Debian

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

Ubuntu

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

Raspbian

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

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