The Parma Polyhedra Library (PPL)
This is an unofficial verbatim redistribution of the binary&source form of the PPL library (a prerequisite for compiling programs like GCC 4.7), under the terms of GPL 3.0 license.
This redistribution is under the the same GPL 3.0 license.
Please visit the official website for more details: http://bugseng.com/products/ppl
Due to the file size policy of GitHub, the project has been moved to
https://[email protected]/yuhangwang/ppl.git