The documentation of the solver is available in two formats: ps.gz and pdf.