Dear Mauricio, your questions are not easy to answer.
- I do not know how big (or hard) the problems are. So can't say. - Don't know anything about that. - Gecode/J maybe? I think the first and most important question to ask is whether there exists a good constraint model for solving the problems you have. If that exists, and the problems are easy enough then Gecode is indeed efficient enough to do the trick. But, as said, first check how to model. Christian From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Mauricio Toro Sent: Wednesday, October 31, 2007 9:38 PM To: [EMAIL PROTECTED] Subject: [gecode-users] Real time interpreters using GECODE Hello Gecode Comunity ! Together with the AVISPA research group we are trying to develop a real time interpreter for a process calculus called Non deterministic Timed Concurrent Constraint (NTCC), this calculus is a non deterministic extension to the Timed Concurrent Constraint Calculus (TCC). In the past, some implementations were done using Mozart OZ using combinators, but the real time was not achieved. We are now considering using GECODE with reification, but the whole concurrency syncronization seems to be a big problem, additionally reification could be not general enough. We are also considering using GECOL (the lisp wraper of GECODE) because we want to model music improvisation with the NTCC interpreted, and LISP has been widely used for computer music. - Do you considered that a real time interpreter can be done with GECODE? - What about GECOL? fast enough? - What other options could we consider to make the interpreter? Thank you very much -- Mauricio Toro Bermudez Pontifica Universidad Javeriana Cali, Colombia S.A _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
