The documentation of the solver is available in
pdf
.