Minizinc data model - no edge DC hard constraint