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