[PPL-devel] Floating Point Constraints in PPL

[Radoslav Ivanov]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20140311/40622e73/attachment.htm>