Do not create child node if the start point is not domain feasible.#199

Merged

matbesancon merged 9 commits intomainfrom domain-branch

Sep 17, 2024

+11-7

Commits on Sep 11, 2024

Don't create child node if the domain oracle is infeasible.
Hendrych
committed
Set version up after bug fix.
Hendrych
committed

Commits on Sep 13, 2024

Apply suggestions from code review
matbesancon
authored
Print statement in case assert fails.
Hendrych
committed
Merge changes from github repository
Hendrych
committed

Commits on Sep 16, 2024

Print logs for better bug hunting.
Hendrych
committed
Another try to reproduce error.
Hendrych
committed
Test lower bound against tree.incumbent plus current fw_epsilon.
Hendrych
committed
Have the same seed as in runtests.jl.
Hendrych
committed