[PURRS-devel] Re: Filib++ based version of CoStLy