Hi!Is it correct that SetDelta::glbAny/lubAny will return true if the delta represents NO change in the glb/lub?
Kind regards Johannes _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
