[PPL-devel] Conversion Between Integer Sets and Polyhedron

[Nilesh Shah]

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?



Best Regards,

Nilesh



-------

Nilesh Shah

Mtech RA

Department of CSE

IIT Hyderabad

-- 


Disclaimer:- This footer text is to convey that this email is sent by one 
of the users of IITH. So, do not mark it as SPAM.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20210804/6f859964/attachment.htm>