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

[Aleksandra Jovanovic]

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