[PPL-devel] Floating Point Constraints in PPL

Hello,

My name is Radoslav Ivanov and I am a PhD student at the PRECISE lab at the University of Pennsylvania.

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?

Thanks, Rado