[PPL-devel] Conversion Between Integer Sets and Polyhedron

[Sven Verdoolaege]

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