A docker image packaging a bunch of solvers - View it on GitHub