[eclipse-users] Use of max with ic_probing_for_scheduling

Hi,
 
Can someone give me a working example of using max in a cost function using the ic_probing_for_scheduling library?
 
The example ex3 in the documentation for the ic_probing_for_scheduling documentation doesn't work for me in version 5.10 #77. 
 
Thanks,David
 
 
 
ex3(Starts,MaxResource,Cost) :- Starts=[S1,S2,S3,S4], ic:(S1::1..10), ic:(S2::3..10), ic:(S3::1..5), ic:(S4::3..10),        [D1,D2,D3,D4]=[5,5,3,3],        Durations=[D1,D2,D3,D4], Resources=[1,1,1,1], CostFun= max([S1+D1,S2+D2,S3+D3,S4+D4]), probe_sched(Starts,Durations,Resources,MaxResource,CostFun), ic:(Cost =:= eval(CostFun)).     
% eclipse -b ProbingForScheduling.ecl -e 'ex3(Starts, MaxResource, Cost)'loading OSI clpcbc ... doneinstantiation fault in =<(1, MaxResource) in module ic_make_overlap_bivsabort
 
 
_________________________________________________________________
Don't get caught with egg on your face. Play Chicktionary!  
http://club.live.com/chicktionary.aspx?icid=chick_wlmailtextlink