Hi, I was wondering what an oriented intersection-graph is? This term is mentioned in the documentation for Gecode::Int::Sorted::computesccs, but it is unclear how the orientations of the edges are defined. I suspect that computesccs does not compute the sccs of the oriented intersection-graph, which causes the bug in the sorted constraint.
Kind regards, Bauke _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
