Hi, I am working in a problem and I need a more fine control of the search. I use the BAB engine and I need that the search have a timeout. There is a way to control the end condition of the search or I have implement one by myself ??? Thanks.... Gecode Rock's ;) -- Rafael Meneses http://www.labsd.inf.utfsm.cl/~rmeneses