Commit 6346346e authored by Pierre Louis Aublin's avatar Pierre Louis Aublin
Browse files

adding information about the docker branch

parent 7c580d4a

readme.md

+8 −0
Original line number Diff line number Diff line 
# SPECULOR Artefact Evaluation DAIS '25



## Docker



For a Docker-based version of this artefact, p please first switch the `docker`

branch of this repository, then follow the `readme.md` in the `docker` branch.

```bash

$ git switch docker

```



## A.1 Claims



### Availability badge