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

[Vitor Santos Costa]

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