Skip to content

Make the default of WITH_BH_SOLVER "ON"

Shlomi Fish requested to merge enable-use-of-black-solver-solver-by-default into master

So we will use the better solver. It can still be turned OFF if not wanted.

Merge request reports