Closed hdavid16 closed 1 year ago
This isn't standard, but is currently allowed in the CHR function
This is relevant for nested disjunctions
See Sections 3.2-3.4 in http://public.tepper.cmu.edu/jnh/milpmodeling2.pdf
Yes. Allow them.
This isn't standard, but is currently allowed in the CHR function