fix solver name