Skip to content

Makes max_calls for BranchBound predicate search configurable for training call#1157

Closed
EvanOman wants to merge 1 commit intodedupeio:mainfrom EvanOman:configure_branch_bound_max_calls
+11-9

Commits