Re: [eclipse-clp-users] bb_min/3 question.

Amine Marref wrote:
> Hello,
> 
> I use bb_min/3 in my problem in the following way:
>    time(bb_min(labeling(Vars), Cost, bb_options{to:60000,from:5000})),
> 
> hoping to constrain the branch-and-bound search between the bounds 5000 
> and 60000.
> The solution output by Eclipse is:
> 
> Found no solution with cost 5000.0 .. -1439.0
> 
> I can't explain this -1439,
> 
> Any help?

Apparently, -1439 is an upper bound of your cost, i.e. you can't
get any cost as bad as 5000.

Try running labeling(Vars) without branch-and-bound, and see what
Cost solutions you get!

Why are you specifying a from-value at all?

-- Joachim