8 Aug
2017
8 Aug
'17
2:39 p.m.
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 http://www.cs.utwente.nl/~vdpol