This is version 4.12 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 or more. 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. Become root if the installation directory is write protected. 3. Run 'make install'. 4. Run 'make test' to test the library on a given set of examples. 5. Run 'make 64test' to test the 64 bits examples. You can also run this test in 32 bits mode, using GNU-MP. 6. Have fun :) You may build the 32 bits *and* the 64 bits library (this will create a polylib32 and a polylib64 library). You have to run make two times and change the first lines of the Makefile to do that. If something fails, send me an e-report: loechner@icps.u-strasbg.fr --Vincent