I am using the reflection functionality and I think the specification of the branch for integer value selection for splitting domain lower half first seems to be incorrect (void ValSplitMin<View>::branchingSpec). The first alternative is specified as "=" and the second alternative as ">". I think it should be "<" and ">="? The value and variable specification seem to be ok.
David Rijsman _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
