Hi, For simple examples, it works fine with a "fresh" gecode version. thanks, Stefano On Nov 16, 2005, at 5:29 PM, Christian Schulte wrote: > Please do so, I fixed many bugs there. But there might be still a > glitch. > Please let me know how it goes.