File: donotsimp.in

package info (click to toggle)
isl 0.12.2-2
  • links: PTS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 9,164 kB
  • ctags: 6,976
  • sloc: ansic: 86,111; sh: 11,923; python: 1,907; cpp: 593; makefile: 352; perl: 9
file content (3 lines) | stat: -rw-r--r-- 237 bytes parent folder | download | duplicates (2) 
1
2
3
 
[M] -> { S2[i0, i1] -> [0, i0, 0, i1, 0] : i0 >= 1 and i0 <= 10 and i1 >= 11 and i1 <= M; S1[i0, i1] -> [0, i0, 0, i1, 0] : i0 >= 1 and i0 <= 10 and i1 >= 1 and i1 <= i0 }
[M] -> {  : M >= 20 }
[M] -> { [i, j, k, l, m] -> separate[o0] }