Hi all,<div><br></div><div>Please don't feel annoyed by this request. I did try for looking for examples in the folder I downloaded and in the manual. But couldnt find what I was looking for.</div><div><br></div><div>I'm looking for a simple example where a linear constraint system with floating point coefficients (variables can also take floating point values) is solved and output is printed to either file or stdout. I don't have strict requirement to number of decimal points it has to be accurately computed. I'm fine with just 2 decimal points.</div>

<div><br></div><div>The system can be as simple as this,</div><div><br></div><div>1.2*x + 2.3y <= 8.2</div><div>2.2*x + 1.4*y <= 7.1</div><div><br></div><div>This one example I tried out but with integer coefficients.</div>

<div><div>#include <ppl.hh></div><div>#include "ppl_c.h"</div><div><br></div><div>using namespace Parma_Polyhedra_Library;</div><div><br></div><div>int main()</div><div>{</div><div><br></div><div>Variable x(0);</div>

<div>Variable y(1);</div><div>Constraint_System CS;</div><div><br></div><div>Linear_Expression LE1 = 1*x + 2*y;</div><div>Linear_Expression LE2 = 2*x + 1*y;</div><div><br></div><div>CS.insert(LE1 <= 7);</div><div>CS.insert(LE2 <= 5);</div>

<div><br></div><div>C_Polyhedron P(CS);</div><div><br></div><div>return 0;</div><div>}</div></div><div><br></div><div>It would be great if someone can help me out with this by providing an example or code for the system I described earlier.</div>

<div><br></div><div>Thanks in advance,</div><div>Mahesh</div><div><br></div>