ATS-extsolve2?

[Shea Levy]

Hello all,

I noticed that there is now an ATS-extsolve2 project in ATS-Postiats-contrib.
How is it different from ATS-extsolve? Is it ready to be used?

Thanks,
Shea

[Hongwei Xi]

ATS-extsolve2 tries to build based on lessons learned from ATS-extsolve.
It is work in progress. Not yet ready for use.  I will make an announcement

when it is ready.

--
You received this message because you are subscribed to the Google Groups "ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/328800FB-0684-46F1-A283-CE10DBD87BF8%40shealevy.com.

[Yannick Duchêne]

Le vendredi 15 mai 2015 15:57:18 UTC+2, gmhwxi a écrit :

ATS-extsolve2 tries to build based on lessons learned from ATS-extsolve.
It is work in progress. Not yet ready for use.  I will make an announcement

when it is ready.

Will it use SML-Lib format? 

[Hongwei Xi]

Yes, that is in the plan.

--

You received this message because you are subscribed to the Google Groups "ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.

To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/d5465454-974e-4552-8b60-990da7497b8d%40googlegroups.com.