Missing sources of solvers of the parallel track

[pauleve]

Hi,
Thanks a lot for having mirrored the 2018 sources here.
I cannot find the sources of the solvers of the parallel track (painless, plingeling, ...). Is there a way to recover them?

[Udopia]

Thanks for bringing this to my attention. The link is broken since we mirrored to GitHub, which does not support web access to directories. I just updated the link to point to the appropriate directory on GitHub, where the solver sources reside. Commit: eccc0f8

[pauleve]

Actually, several solvers referenced in the results of the parallel track (https://satcompetition.github.io/2018/results.html) are not in that directory (painless, plingeling, hordesat, ..)

[PBZ1024]

I also cannot find the solvers of the parallel track. I would appreciate it if you could re-upload the resources of the parallel solvers because they are helpful to my graduation project. (ง •̀_•́)ง