minisat+
solver for pseudo-Boolean constraints
RUN apt-get update && \
apt-get install -y minisat+
RUN apt-get update && \
apt-get install -y minisat+
RUN apt-get update && \
apt-get install -y minisat+
RUN apt-get update && \
apt-get install -y minisat+