The code in ./sisyphus-master/ was downloaded from https://github.com/josch/sisyphus on August 24th, 2022. It is contained in 2022-08-24_josch-sisyphus.zip.
To run the solver, locate in this directory and run
dev@nb: ~/.../josch_sisyphus$ bash createSolutionsWithSisyphus.sh