[PPL-devel] Conversion Between Integer Sets and Polyhedron

[Roberto Bagnara]

Hi there.

I am not familiar with the ISL library.  If you can describe
your problem in terms that do not have knowledge of ISL as a
prerequisite I will try to help you.
Kind regards,

    Roberto

Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematical, Physical and Computer Sciences
University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it

On 8/4/21 5:42 PM, 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?
> 
> 
> 
> 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.
> 
> 
> _______________________________________________
> PPL-devel mailing list
> PPL-devel at cs.unipr.it
> https://www.cs.unipr.it/mailman/listinfo/ppl-devel
>