depqbf

solver for quantified boolean formulae

Debian Debian
RUN apt-get update && \ apt-get install -y depqbf
Ubuntu
RUN apt-get update && \ apt-get install -y depqbf
image/svg+xml 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