minisat
Fast and lightweight SAT solver
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 dnf install -y minisat
RUN apt-get update && \
apt-get install -y minisat