File: stride4.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-- 180 bytes parent folder | download | duplicates (2) 
1
2
3
 
[t] -> { S1[i0, t] -> [i0, t, 0] : exists (e0 = [(t - i0)/16]: 16e0 = t - i0 and i0 >= 0 and i0 <= 99 and t >= 0 and t <= 15) }
[t] -> {  :  }
[t] -> { [i, j, k] -> separate[o0] }