This directory contains the core C library.

Headers
* oct.h           main header file, to be included to use the library
* oct_private.h   include this to access the internal stucture 
                  and low-level functions
* oct_num.h       underlying numerical domain

Implementation
* oct_util.c      usefull stuff (mem management, profiling, ...)
* oct_sem.c       semantics operators on octagons and minimized octagons
* oct_polka       interface with the New Polka polyhedr library
