Hello Paulo,
thanks for your interest in opensmt
I (and the other people involved) have stopped working on this project
as of 2011, when I left academia for industry. At the moment I can no
longer lead this project, but one day I might be able to resurrect it
as you say :) But the code is there to be used, so anybody can build
on top of that.
I know that Antti at University of Lugano is working on some
version
of opensmt, but I don't know the status of the project.
Regards,
Roberto
On Tue, Jul 29, 2014 at 8:36 PM, Paulo Matos <
pocm...@gmail.com> wrote:
> Hello,
>
> The repository hasn't been updated in awhile. I am wondering if this project
> is now considered dead or if the efforts are now on another opensmt style
> project. This is a worthwhile project and if there's no other opensmt style
> project around, we should resuscitate this one.
>
> Paulo Matos
>
> --
> You received this message because you are subscribed to the Google Groups
> "opensmt" group.
> To unsubscribe from this group and stop receiving emails from it, send an