Merge branch 'master' into bernstein
[barvinok.git] / barvinok / 
tree1de78152d583eb2d09a3c38ddc6358322c9ea683
drwxr-xr-x   ..
-rw-r--r-- 679 NTL_QQ.h
-rw-r--r-- 1135 barvinok.h
-rw-r--r-- 254 bernstein.h
-rw-r--r-- 3853 evalue.h
-rw-r--r-- 1598 genfun.h
-rw-r--r-- 3400 util.h