Describes the solvers available through SAPI, their properties, and the parameters they accept with a problem submission.