Branching with non-trivial domain oracle

[dhendryc]

In case the domain oracle is non trivial, i.e. not all points in the feasible region are domain feasible for the objective, it can happen that after branching "normally" the iterate is domain infeasible.

Now, when we split the active set, we check the vertices for domain infeasibility. If a vertex is domain infeasible, it is dropped completely.

[codecov]

Codecov Report

Attention: Patch coverage is 85.00000% with 9 lines in your changes missing coverage. Please review.

Project coverage is 84.91%. Comparing base (ee5cc6c) to head (9b89cad).
Report is 41 commits behind head on main.

Files with missing lines	Patch %	Lines
src/utilities.jl	78.78%	7 Missing ⚠️
src/interface.jl	50.00%	1 Missing ⚠️
src/problem.jl	50.00%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #207      +/-   ##
==========================================
- Coverage   86.23%   84.91%   -1.32%     
==========================================
  Files          17       19       +2     
  Lines        1482     1598     +116     
==========================================
+ Hits         1278     1357      +79     
- Misses        204      241      +37     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.