The following code causes a crash in Gecode 2.2.0: TupleSet tuples; tuples.finalize(); It seems that finalising an empty TupleSet is not allowed. Curiously enough, there doesn't seem to be anything stopping you from using an unfinalised TupleSet as a constraint. Malcolm