Re: Random labeling options for CLPFD

From: <lausgans_at_gmail.com>
Date: Thu, 5 Nov 2015 09:11:12 +0300


> 4 нояб. 2015 г., в 18:48, Michael Hanus <mh_at_informatik.uni-kiel.de> написал(а):
>
> Hi Alex,
>
> it is no problem to add this extension to the next release of PAKCS.
> There is the disadvantage that this does not work with SICStus Prolog,
> but at least you get a reasonable error message from the Prolog system.
>
> Best regards,
>
> Michael

Could you please also add random_value(Seed) in a same way?
Thank you much!
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry

Received on Do Nov 05 2015 - 14:04:10 CET

This archive was generated by hypermail 2.3.0 : Do Mär 28 2024 - 07:15:13 CET