Add reference of module solvers.inequalities in documentation.