"J.W. Bizzaro" wrote: > Jarl, have you seen this? > > http://logic.stanford.edu/software/magenta/ > Yes, seen it, and searched for the C++ sources. And then for a contact person. Sounds very nice this C++ lib, but seems even more dead as Kapi.