Assertion: baron | /r/CapableOf | switch to clp
Facets:
Source sentences:
text: If the user does not have a license for the default or user-specified LP solver, BARON will switch to CLP.