[erlang-questions] Is eXAT used by anyone?

[Viktor Sovietov]

Eresye was updated 6 month ago. I was trying to use it for automated
decision-making in our real-time system monitoring app, but it never
left experiment...

Sincerely,

--Victor


On Apr 8, 8:34 pm, Gleb Peregud <glebe...@REDACTED> wrote:
> On Fri, Apr 8, 2011 at 18:00, Gleb Peregud <glebe...@REDACTED> wrote:
> > I'm about to choose a technology for a Multiagent Systems course at my
> > university. Since I'm a eager user of Erlang I wanted to use eXAT. But
> > unfortunately course teacher wants everyone to use some actively
> > developed system. I need to provide to them some proofs that eXAT
> > matches this requirement.
>
> We misunderstood each other with the teacher :) So after clearing up
> confusion, I got green light to use eXAT for the project.
>
> > I can see that last papers about eXAT were
> > published in 2004 year. Is anyone working on this project? Or is
> > anyone using this project? I will be glad for any pointers in this
> > area
>
> Though this question still holds. Are there any works on this system?
> Is it used for any project academia or commercial project?
>
> Is version of Eresye included in version 1.3 of eXAT the latest
> version of Eresye?
>
> Best regards,
> Gleb Peregud
> _______________________________________________
> erlang-questions mailing list
> erlang-questi...@REDACTED://erlang.org/mailman/listinfo/erlang-questions