Solver descriptions are PDFs now