update isl to version 0.13
[barvinok.git] / zsolve / 
tree01b4dcf58f7b11c117b87639aa583b77f29eca91
drwxr-xr-x   ..
-rw-r--r-- 1864 Makefile.am
-rw-r--r-- 383 banner.h
-rw-r--r-- 1951 cputime.c
-rw-r--r-- 1214 cputime.h
-rw-r--r-- 1643 defs.c
-rw-r--r-- 1298 defs.h
-rw-r--r-- 457 graver.template
-rw-r--r-- 457 hilbert.template
-rw-r--r-- 2227 indexarray.c
-rw-r--r-- 1355 indexarray.h
-rw-r--r-- 4433 lattice.c
-rw-r--r-- 1081 lattice.h
-rw-r--r-- 17460 libzsolve.c
-rw-r--r-- 3718 libzsolve.h
-rw-r--r-- 12483 linearsystem.c
-rw-r--r-- 2827 linearsystem.h
-rw-r--r-- 4730 matrix.c
-rw-r--r-- 1879 matrix.h
-rw-r--r-- 7061 opts.c
-rw-r--r-- 919 opts.h
-rw-r--r-- 25077 solve.c
-rw-r--r-- 14090 valuetrees.c
-rw-r--r-- 1553 valuetrees.h
-rw-r--r-- 3230 varproperties.c
-rw-r--r-- 1926 varproperties.h
-rw-r--r-- 3975 vector.c
-rw-r--r-- 1812 vector.h
-rw-r--r-- 5016 vectorarray.c
-rw-r--r-- 2162 vectorarray.h