is there a design principle that guides the decision to parametrize Int::Rel::EqDom with two view types, but Int::Rel:Nq with only one?
or why set propagators use IntViews but don't allow for other kinds of integer views? Cheers, --Denys _______________________________________________ Gecode users mailing list us...@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
