Re: constraint solving with MCC

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Mon, 10 Oct 2005 12:44:13 +0200

Wolfgang Jeltsch wrote:
> according to
>
> http://www.informatik.uni-kiel.de/~mh/curry/listarchive/0317.html,
>
> PAKCS and MCC allow constraint-based programming. For PAKCS, there are the
> modules CLPFD and CLPR but I couldn't find any mention of constraint solver
> modules in the MCC documentation. What did I miss?

Interesting question. The extension of MCC by real arithmetic
constraints is described in

_at_INPROCEEDINGS{Lux01,
author = {Lux, W.},
title = {Adding Linear Constraints over Real Numbers to Curry},
year = {2001},
booktitle = {Proc.\ of the 5th International Symposium on Functional and Logic Programming (FLOPS 2001)},
pages = {185-200},
publisher = {Springer LNCS 2024} }

but it seems that this extension is not part of the MCC distribution.

Best regards,

Michael

_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mo Okt 10 2005 - 12:55:44 CEST

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:06 CET