open source, solver, optimization 标签