MinizincSearch.bab
You're seeing just the function
bab
, go back to MinizincSearch module for more information.
Link to this function
bab(instance, branch_fun)
Branch-and-bound