[PPL-devel] difference on pointset powerset

[j.c.vandepol at utwente.nl]

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20170808/822b8299/attachment.htm>