update isl for isl_set_from_params
[barvinok.git] / parker / 
tree77148c0406e85d4c141098e5a62ff31cff47a11f
drwxr-xr-x   ..
-rw-r--r-- 435 Makefile.am
-rw-r--r-- 3105 README
-rw-r--r-- 14041 construction.c
-rw-r--r-- 3002 count_paths.c
-rw-r--r-- 2966 count_solutions.cc
-rw-r--r-- 37 count_solutions.h
-rw-r--r-- 459 example1.formula
-rw-r--r-- 672 example2.formula
-rwxr-xr-x 11830 generate_code.pl