dockerfile.run – mzn-gecode

mzn-gecode

Development files for gecode

Debian

RUN apt-get update && \
    apt-get install -y flatzinc

Ubuntu

RUN apt-get update && \
    apt-get install -y flatzinc

Kali Linux

RUN apt-get update && \
    apt-get install -y flatzinc

Fedora

RUN dnf install -y gecode-devel

Raspbian

RUN apt-get update && \
    apt-get install -y flatzinc

click the source code to copy install mzn-gecode on any operating system with command-not-found.com