On Fri, Aug 22, 2008 at 11:21 AM, Roberto Bagnara <bagnara at cs.unipr.it> wrote: > did you receive this message I sent you one week ago? Yes. > It really seems in CLooG you are duplicating much of the > functionalities of our Pointset_Powerset construction. This cleanup was the next thing on my todo list. Sebastian