solver相关知识