hi, Likely, there is micro-bug in the SingletonAppend iterator: Index: gecode/iter/ranges-singleton-append.hpp =================================================================== --- gecode/iter/ranges-singleton-append.hpp (revision 7847) +++ gecode/iter/ranges-singleton-append.hpp (working copy) @@ -106,6 +106,7 @@ forceinline void SingletonAppend<J>::init(int i0, int i1, J& j0) { mi = i0; ma=i1; + j = j0; }
}}} cheers, Stefano _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users