Dear developers of PPL,

Is it possible to directly compute the set-difference of two pointset powersets?

In particular, I’m interested in the precise complement; 
convex difference approximations are not sufficient for my case.

Kind regards,
Jaco van de Pol


--
Prof. Jaco van de Pol
University of Twente (NL)
Formal Methods and Tools