blob: 83f0838d44a411bc2964379336986be67a912e7f [file] [log] [blame]
domain: "{ S[a, i1] : 0 <= a <= 9 and -1 + a <= 2i1 <= a }"
child:
schedule: "[{ S[a, i1] -> [(a)] }]"
permutable: 1
coincident: [ 1 ]