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