Re: [PPL-devel] PPL and integer programming