11 Mar
2014
11 Mar
'14
9:15 p.m.
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