[gecode-users] How control the engine??

[Guido Tack]

> No, the only way you currently can interrupt is in between requesting
> better solutions from the BAB engine. However this sounds like a useful
> (and reasonably simple) addition, even though it should be a user supplied
> stop criterion being more general than just time... But it should be very
> simple for you to hack something up by yourself and tell us...

Maybe a hint to get you started:
Have a look at search/bab-copy.cc or search/bab-reco.cc. Both contain a 
similar while(true) loop that does the main exploration. The easiest way to 
implement something like a timeout would be to use the failure count - just 
stop the search when it exceeds a certain limit. You must then return true 
and set s1 to NULL.

Cheers,
	Guido

-- 
Guido Tack
Programming Systems Lab, Saarland University, Germany
http://www.ps.uni-sb.de/~tack