The documentation of the solver is available in pdf.