repo.or.cz
/
isl.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
add transitive closure example from Kelly's 1996 paper
[isl.git]
/
test_inputs
/
convex10.polylib
blob
3d58cbf70e13d63764e41e1b4a09a66ced6f6c86
1
3 4
2
1 54 1 -4
3
1 2 -1 58
4
1 0 -1 6
5
6
4 4
7
1 54 1 -4
8
1 2 -1 58
9
1 0 1 -7
10
1 -4 1 0
11
12
4 4
13
1 54 1 -4
14
1 2 -1 58
15
1 0 -1 116
16
1 0 0 1
17