Commit d527b5f4 authored by Sebastian Junges's avatar Sebastian Junges
Browse files

slurf for stormpy 1.7 and some minor adaptions in the docker file

parent b889f93d
FROM thombadings/slurf-base:cav22
FROM movesrwth/stormpy:1.7.0
# Mirror of the following Docker container
# FROM movesrwth/stormpy:ci-release
MAINTAINER Thom Badings <thom.badings@ru.nl>
# Activate virtual environment
############################
ENV VIRTUAL_ENV=/opt/venv
ENV PATH="$VIRTUAL_ENV/bin:$PATH"
# Build Slurf
#############
RUN mkdir /opt/slurf
WORKDIR /opt/slurf
# Obtain
# Obtain requirements and install them
COPY requirements.txt requirements.txt
RUN pip install --no-cache-dir -r requirements.txt
# Only then install remainder
COPY . .
# Build
RUN pip install --no-cache-dir -r requirements.txt
RUN python setup.py develop
......@@ -12,9 +12,9 @@ Our implementation is called SLURF, named after the resemblance between a typica
While for users, we recommend to use SLURF via the Docker container, you can also build SLURF from source as follows:
- Install [Storm](https://www.stormchecker.org/documentation/obtain-storm/build.html), [pycarl](https://moves-rwth.github.io/pycarl/installation.html#installation-steps) and [stormpy](https://moves-rwth.github.io/stormpy/installation.html#installation-steps) using the instructions in the documentation.
- Install [Storm](https://www.stormchecker.org/documentation/obtain-storm/build.html), [pycarl](https://moves-rwth.github.io/pycarl/installation.html#installation-steps) and [stormpy](https://moves-rwth.github.io/stormpy/installation.html#installation-steps) using the instructions in the stormpy documentation.
Note that one must use the master branches of all three tools.
Note that one must use at least version 1.7.
Preferably, install pycarl and stormpy in a virtual environment.
- Install dependencies: on macOS, tkinter needs to be available.
......
# List of used packages
pandas==1.3.5
numpy==1.21.4
numpy==1.23.1
setuptools==58.0.4
cvxpy==1.1.17
tqdm==4.62.3
......@@ -8,4 +8,4 @@ seaborn==0.11.2
scipy==1.8.0
matplotlib==3.5.1
stormpy>=1.6.3
xlsxwriter==3.0.2
\ No newline at end of file
xlsxwriter==3.0.2
......@@ -31,7 +31,7 @@ setup(
},
zip_safe=False,
install_requires=[
'stormpy>=1.6.3', # Back-end model checker
'stormpy>=1.7.0', # Back-end model checker
'cvxpy>=1.1.17',
'matplotlib>=3.5.1',
'numpy>=1.21.4',
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment