[gecode-users] Branch specification of ValSplitMin incorrect?
David Rijsman
davidrijsman at gmail.com
Thu Apr 3 12:50:28 CEST 2008
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
More information about the gecode-users
mailing list