fzn-gecode
constraint problem modelling language
RUN apt-get update && \
apt-get install -y flatzinc
RUN apt-get update && \
apt-get install -y flatzinc
RUN apt-get update && \
apt-get install -y flatzinc
RUN dnf install -y gecode-devel
RUN apt-get update && \
apt-get install -y flatzinc