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?
Hello,