# was movesrwth/stormpy:1.7.0
FROM movesrwth/stormpy:1.6.4

ENV GRB_LICENSE_FILE=gurobi.lic

RUN pip install -U pip setuptools wheel

RUN pip install gurobipy==11.0.0 pycddlib==2.1.7 numpy==1.26.3

