Re: [PPL-devel] [Yap-users] Interfacing Yap with a C++ library

Roberto Would it be possible for you to try www.cos.ufrj.br/~vitor/Yap-5.1.2-small.tar.gz and see if the problem still remains? Thanks! Vitor