diff --git a/README.md b/README.md index c775693237a97dd7b42cb41756ba1107dfa3b894..088438bc9de659fd513838d34a4abe0b870fd76f 100644 --- a/README.md +++ b/README.md @@ -11,7 +11,7 @@ BuDDy used for sequential version and Sylvan for both sequential and parallel co -It is necessary to install Spot [Spot](https://spot.lrde.epita.fr/install.html). +It is necessary to install [Spot](https://spot.lrde.epita.fr/install.html). ## Description This repository hosts the experiments and results for the Hybrid (MPI/pthreads) approach for the SOG construction and provides a short guide on how to install the tools and reproduce the results.