
CHANGES               text: log of the latest changes
FILES                 text: This file
Makefile              makefile:
PolyLib.LICENSING     text: copyright information
Test/                 directory: test examples

bb.c                  exec: finds the bounding box of a polyhedron
c2p.c                 exec: Constraints to Polyhedron
ehrhart.c             exec: Ehrhart polynomial computation
ehrhart.h             
eval_ehrhart.c        lib: evaluation of EP functions
eval_ehrhart.h        
eval_test.c           exec: testing eval_ehrhart           
examples/             directory: more examples

findv.c               exec: find the vertices of a parameterized polyhedron
lattice.c             lib: unused yet.
lattice.h             
main.c                exec: main polylib test
polyhedron.c          lib: main functions PolyLib (V1.1)
polyhedron.h          
polyparam.c           lib: main functions parameterized PolyLib (V2.0)
polyparam.h           
pp.c                  exec: find vertices and validity domains of
                            parameterized polyhedra
r2p.c                 exec: Rays to Polyhedron
stdansi.h             header: various #define's. check if necessary
types.h               header: main polylib (2.0) structures
union_convex.c        exec: 
union_disjointe.c     exec:
vector.c              lib: secondary functions PolyLib (V1.1)
vector.h              
