Re: New KiCS2 release available

From: <lausgans_at_gmail.com>
Date: Mon, 11 Aug 2014 14:38:12 +0400


Michael Hanus <mh at informatik.uni-kiel.de>:

> Dear Colleagues,
>
> the KiCS2 team from Kiel is pleased to announce a new stable
> release of KiCS2 (Version 0.3.1).
> ...
> Actually, we try to keep the libraries of KiCS2 and PAKCS
> in sync, if possible (exceptions are libraries for constraint
> programming).
> ...
>
> Any comments and suggestions are welcome!
>
> Best regards,
>
> Michael
>

Hi, Michael.

Can we expect that KiCS2 will get CLP libraries?

Thanks.
Alex
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry

Received on Di Aug 12 2014 - 19:04:42 CEST

This archive was generated by hypermail 2.3.0 : Fr Mär 29 2024 - 07:15:12 CET