Enhance javadoc of the solver