[PPL-devel] PPL for linear expression comparison and constraint derivation

Dear Sir/Madam,

I am interested in starting to use Parma Polyhedra library for my research. I do have a specific problem and I would like to check whether PPL could be used for solving.

I need to compare two linear expression and derive the necessary constraints on the variables such that one of them is minimum/maximum. For example, what should be the relation between x, a and b such that 3x+a+5b is smaller than x+5a+3b (just an example I haven’t paid attention to the actually numbers). Are there functions in PPL that I could use to solve this?

Thank you in advance for your time, Aleksandra Jovanovic

Aleksandra Jovanovic Research Assistant Department of Computer Science University of Oxford Wolfson Building, Parks Road Oxford, OX1 3QD