depqbf
solver for quantified boolean formulae
RUN apt-get update && \
apt-get install -y depqbf
RUN apt-get update && \
apt-get install -y depqbf
RUN apt-get update && \
apt-get install -y depqbf
RUN apt-get update && \
apt-get install -y depqbf