minisat+

solver for pseudo-Boolean constraints

Debian Debian
RUN apt-get update && \ apt-get install -y minisat+
Ubuntu
RUN apt-get update && \ apt-get install -y minisat+
image/svg+xml Kali Linux
RUN apt-get update && \ apt-get install -y minisat+
Raspbian
RUN apt-get update && \ apt-get install -y minisat+
click the source code to copy install minisat+ on any operating system with command-not-found.com