Stefano Zacchiroli wrote:

>>We use a modified variant of Art (arty) Yerkes' old "pycaml" module.
> 
> Are you going to release a modified (and fixed!) version of PyCaml as a
> standalone library? Given that you found several issues in PyCaml I bet
> the whole community would be very happy to see something like that! If
> you claim that the original maintainer of PyCaml is no longer active
> maybe you can take over maintenance or something like that, how about
> it?

As I said, we strongly plan to do so, but at present, manpower is our
main limiting factor. Our modifications have to be streamlined and
documented properly. As it is, you can just download the nsim
sources, unpack it, go to the pycaml directory, type "make install"
(well, actually, you should run the configuration script first)
and should end up with our pycaml module installed under ocamlfind
control. It is sufficiently independent to be used as a separate module.

-- 
best regards,
Thomas Fischbacher
tf@functionality.de