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

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?

Amine.

-- 
Amine Marref
PhD Research Student
Real-Time Systems Group
Department of Computer Science
The University of York
Heslington
YO10 5DD
York
United Kingdom

+44 1904 432810