constraint solving with MCC
This message
: [
Message body
] [ More options (
top
,
bottom
) ]
Related messages
: [
Next message
] [
Previous message
] [
Next in thread
] [
Replies
]
Contemporary messages sorted
: [
by date
] [
by thread
] [
by subject
] [
by author
] [
by messages with attachments
]
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
This message
: [
Message body
]
Next message
:
Michael Hanus: "Re: constraint solving with MCC"
Previous message
:
Michael Hanus: "PAKCS Version 1.6.1 available"
Next in thread
:
Michael Hanus: "Re: constraint solving with MCC"
Maybe reply
:
Michael Hanus: "Re: constraint solving with MCC"
Contemporary messages sorted
: [
by date
] [
by thread
] [
by subject
] [
by author
] [
by messages with attachments
]
This archive was generated by
hypermail 2.3.0
: Do Feb 01 2024 - 07:15:06 CET