symphony
COIN-OR solver for mixed-integer linear programs
RUN apt-get update && \
apt-get install -y coinor-symphony
RUN apt-get update && \
apt-get install -y coinor-symphony
RUN apt-get update && \
apt-get install -y coinor-symphony
RUN dnf install -y coinor-symphony
RUN apt-get update && \
apt-get install -y coinor-symphony