Assertion: baron | /r/CapableOf | search for feasible solutions
Facets:
value: to the given model
type: OTHER
Source sentences:
text: If NumSol is set to -1, BARON will search for all feasible solutions to the given model and print them, in the order in which they are found, in the results file.