A Cool Web IDE for Picat

Neng-Fa Zhou

unread,

Apr 17, 2017, 1:39:35 PM4/17/17

to Picat

Alexandre Gonçalves Silva has developed a web IDE for Picat:

http://picat.retina.ufsc.br/picat.html

It is really cool. Please give him feedback so that he can make it better.

Cheers,

Neng-Fa

Sergii Dymchenko

unread,

Apr 17, 2017, 1:46:29 PM4/17/17

to Neng-Fa Zhou, Picat

That could really increase number of people who will try Picat!

I've found some potential issues and contacting the author.

-Sergii.

--
You received this message because you are subscribed to the Google Groups "Picat" group.
To unsubscribe from this group and stop receiving emails from it, send an email to picat-lang+unsubscribe@googlegroups.com.
To post to this group, send email to picat...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/picat-lang/25c92b36-4098-47a1-ac1f-7306d05e914b%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Hakan Kjellerstrand

unread,

Apr 17, 2017, 3:16:57 PM4/17/17

to Picat, Neng-Fa Zhou, Sergii Dymchenko

This is a very nice tool! Thanks for this, Alexandre!

(I'll plan check it more and give some feedback.)

/Hakan

To view this discussion on the web visit https://groups.google.com/d/msgid/picat-lang/CAHX2Di90oqrs-GSVyGtuMB0fBmvTQzu_Gn5HL7UenK%2Boa060zQ%40mail.gmail.com.

For more options, visit https://groups.google.com/d/optout.

--

Hakan Kjellerstrand
http://www.hakank.org/
http://www.hakank.org/webblogg/
http://www.hakank.org/constraint_programming_blog/
http://twitter.com/hakankj
https://www.facebook.com/hakankj

Alexandre Gonçalves Silva

unread,

Apr 17, 2017, 11:35:42 PM4/17/17

to Picat, neng...@gmail.com, kit...@gmail.com

Dear.

I plan on including a small button to download the code. It would also be interesting to provide space and functionality for managing multiple files on the server (but I do not know if this breaks the purpose of an environment for rapid testing of ideas without the need for software installation). It would also be nice to allow inline dynamic testing in tutorial examples (apparently this can be automatically generated by Picat Latex documentation). But for this I would have to create a more accurate sandbox for each test, as suggested by Sergii.

Thanks for the considerations about the online system. Any new suggestions are welcome.
Alexandre

Em segunda-feira, 17 de abril de 2017 16:16:57 UTC-3, Hakan Kjellerstrand escreveu:

This is a very nice tool! Thanks for this, Alexandre!

(I'll plan check it more and give some feedback.)

/Hakan

On Mon, Apr 17, 2017 at 7:46 PM, Sergii Dymchenko <kit...@gmail.com> wrote:

That could really increase number of people who will try Picat!
I've found some potential issues and contacting the author.

-Sergii.

On Mon, Apr 17, 2017 at 10:39 AM, Neng-Fa Zhou <neng...@gmail.com> wrote:

Alexandre Gonçalves Silva has developed a web IDE for Picat:

http://picat.retina.ufsc.br/picat.html

It is really cool. Please give him feedback so that he can make it better.

Cheers,
Neng-Fa

--
You received this message because you are subscribed to the Google Groups "Picat" group.

To unsubscribe from this group and stop receiving emails from it, send an email to picat-lang+...@googlegroups.com.

To post to this group, send email to picat...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/picat-lang/25c92b36-4098-47a1-ac1f-7306d05e914b%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to the Google Groups "Picat" group.

To unsubscribe from this group and stop receiving emails from it, send an email to picat-lang+...@googlegroups.com.

To post to this group, send email to picat...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/picat-lang/CAHX2Di90oqrs-GSVyGtuMB0fBmvTQzu_Gn5HL7UenK%2Boa060zQ%40mail.gmail.com.

For more options, visit https://groups.google.com/d/optout.