Clarification over solver capabilities