This is version 4.10 of the Polyhedral Library.
Reference page:
       http://icps.u-strasbg.fr/~loechner/polylib

REQUIREMENTS:
=============
All you need to build the polylib is a C compiler like gcc.

If you want the library to be overflow proof, you might install
the GNU-MP library, version >= 2.0.2. You can get it from:
       ftp://ftp.gnu.org
or from any GNU mirror site.

BUILDING:
=========
1. Edit the Makefile to comply with your target machine/OS.
2. Run 'make', there may be some warnings.
3. Run 'make test' to test the library on a given set of examples.
4. Run 'make 64test' to test the 64 bits examples.
   You can also run this test in 32 bits mode using GNU-MP.
5. Have fun :)

If one of these steps fails, send me an e-report: loechner@icps.u-strasbg.fr

--Vincent