<div dir="ltr"><div><img class="" id=":v4" src="https://mail.google.com/mail/u/0/images/cleardot.gif" alt="">Hello,<br><br></div><div><div>My name is Radoslav Ivanov and I am a PhD student at the PRECISE lab at the University of Pennsylvania.<br>
</div><div><br></div>I
 am trying to perform some polyhedra operations using PPL (in C++). 
However, I am not sure if it is possible to encode constraints with 
non-integer values. Can you please tell me if this is possible and if 
yes, what type I should use?<br>
<br></div>Thanks,<br>Rado</div>