[PPL-devel] Feasibility of Octagons in PPL

Hello All,

I would like to know if there is any feasibility test developed specifically of octagons in PPL. I am looking for a solution to the following problem: given a set of octagonal constraints, determine if the system is empty or not.

If so, what are its details (method followed, complexity etc.)?

Thanks Ramakrishna