dockerfile.run

depqbf

solver for quantified boolean formulae

Debian

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

Ubuntu

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

Kali Linux

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

Raspbian

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

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