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