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

Reply via email to