Re: On disable_cost

[Thomas Munro]

On Fri, Nov 1, 2019 at 7:42 PM Zhenghua Lyu <z...@pivotal.io> wrote:
>     It is tricky to set disable_cost a huge number. Can we come up with 
> better solution?

What happens if you use DBL_MAX?