dockerfile.run – boolector

boolector

SMT solver for bit-vectors and arrays

Debian

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

Ubuntu

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

Kali Linux

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

Raspbian

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

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