MiniZinc Python Example Docker

basic_example.py

#!/usr/bin/env python3
from minizinc import Instance, Model, Solver

gecode = Solver.lookup("gecode")

trivial = Model()
trivial.add_string(
    """
    var 1..10: x;
    constraint (x mod 2) = 1;
    solve ::int_search([x], input_order, indomain_min) maximize x;
    """
)
instance = Instance(gecode, trivial)

# Find and print all intermediate solutions
result = instance.solve(intermediate_solutions=True)
for i in range(len(result)):
    print(result[i, "x"])

Dockerfile

FROM minizinc/minizinc:latest-alpine

RUN apk add --update --no-cache python3 py3-pip
RUN pip3 install --no-cache-dir minizinc
COPY basic_example.py /usr/local/bin/basic_example.py

ENTRYPOINT ["/usr/local/bin/basic_example.py"]

Note that the basic_example.py file should be executable

chmod +x basic_example.py