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