Skip to content
Commit e9ceec47 authored by Shlomi Fish's avatar Shlomi Fish
Browse files

Make the default of WITH_BH_SOLVER "ON" 

So we will use the better solver. It can still be turned OFF if not
wanted.
parent 823effdd
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment