assume NTL has been compiled in ISO mode
[barvinok.git] / tests / iscc / 
tree23beeb2cb9c693c84e6648f8d4ccafaa6c98d6e3
drwxr-xr-x   ..
-rw-r--r-- 178 card1
-rw-r--r-- 307 card2
-rw-r--r-- 1057 dep1
-rw-r--r-- 901 dep2
-rw-r--r-- 662 kahle
-rw-r--r-- 102 sum1
-rw-r--r-- 112 sum2
-rw-r--r-- 110 sum3
-rw-r--r-- 53 sum4
-rw-r--r-- 42 sum5