AC3 seems ok for binary and non binary extentional constraints