<table cellspacing="0" cellpadding="0" border="0" ><tr><td valign="top" style="font: inherit;"><pre>Dear PPL Developers,

I am currently working on my master thesis that applies abstract model checking of software systems.

For implementing an abstract domain, I plan to use PPL for the handling of Polyhedra. Right now my problem is how to inlcude the PPL classes in my C++ project. 

I am using Ubuntu 10.04 and i'm working with Code Blocks.I installed PPL library by using synaptic and it went well and i have related files in my lib and include directories now. 
However now I am unsure about how to actually include PPL classes (e.g. "Polyhedron") in a C++ project and also could find no further instructions in the user manual or the README and INSTALL files, provided.
Maybe you can help me answering this question:

- What is the intended usage of PPL? Should one just include "ppl.hh" and the created libraries? 
Right now, this yields error messages like:"... undefined reference to `Parma_Polyhedra_Library::Init::Init...."
it seems the linker is unable to find the used library functions.

Your help will be much appreciated!

With best regards,
</pre><pre><br></pre><pre>Saber Mirzaei</pre><pre>Sharif University OF science and technology</pre><pre>Computer department.</pre></td></tr></table><br>