I have looked, but with no luck, for a SPIN implementation built on redland. I am looking for a C/C++ implementation, does anyone know if such a project exists? Andy