solver是什么意思