Assertion: baron | /r/CapableOf | default to automatic solver selection
Facets:
Source sentences:
text: If the specified solver is not licensed, BARON will default to automatic solver selection.