5 Aug
2021
5 Aug
'21
9:14 p.m.
On Wed, Aug 04, 2021 at 09:12:39PM +0530, Nilesh Shah wrote:
Dear All,
I'm learning how to use PPL for my research project, written in the integer set library(ISL). Is there an interface available within the PPL library or an external solution to convert the Integer Sets or Relations of the ISL library to the C_Polyhedron object in PPL?
I think you need to clarify that a bit. AFAIK, a C_Polyhedron represents a convex set in the rationals (or even reals). It therefore can't accurately represent a set of integer tuples. It may help if you explain what exactly you are trying to achieve.
skimo