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@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@cs.unipr.it https://www.cs.unipr.it/mailman/listinfo/ppl-devel