Symbol: solver_create