standard_constraints: take constraints instead of polyhedron as input
[barvinok.git] / parker / 
tree0bd89b2d4b5b231b9ace4590e637a4295971f2f4
drwxr-xr-x   ..
-rw-r--r-- 172 Exit.cc
-rw-r--r-- 746 Makefile.am
-rw-r--r-- 3105 README
-rw-r--r-- 14041 construction.c
-rw-r--r-- 3002 count_paths.c
-rw-r--r-- 2653 count_solutions.cc
-rw-r--r-- 404 count_solutions.h
-rw-r--r-- 459 example1.formula
-rw-r--r-- 672 example2.formula
-rwxr-xr-x 11830 generate_code.pl
drwxr-xr-x - omega_calc
-rw-r--r-- 11302 parser.l
-rw-r--r-- 39711 parser.y