update barvinok to version 0.41.7
[ppn.git] / tests / inputs / eqv / commutative / 
tree40467de9472d5585f3f94a3cbea8ea3a20ee1c47
drwxr-xr-x   ..
-rw-r--r-- 271 1.c
-rw-r--r-- 358 2.c
-rw-r--r-- 202 output
-rw-r--r-- 48 output.comm