constraint solving with MCC

From: Wolfgang Jeltsch <wolfgang_at_jeltsch.net>
Date: Mon, 10 Oct 2005 11:34:30 +0200

Hello,

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?

Best wishes,
Wolfgang

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