clp(FD,S)

Yan Georget (Yan.Georget@inria.fr)
Wed, 8 Jul 1998 04:32:34 +0200 (MET DST)

clp(FD,S) v1.0 is a semiring-based constraint logic
programming language over Finite Domains.

It allows the computation of satisfaction and
optimization of usual CSPs, Fuzzy CSPs, hierarchical
CSPs and others.

It is based on the wamcc Prolog compiler which
translates Prolog to C.

It provides several builtin constraints (arithmetic
constraints, boolean constraints, meta constraints,
optimization constraints) and some facilities to
build new constraints.

Available from:
http://pauillac.inria.fr/~georget/clpfds.html
Requires:
GNU C (gcc) version 2.4.5 or higher.
Ported on:
Sparc workstations, PC under linux

For more informations contact the author:
Yan Georget, Loco Project, INRIA Rocquencourt, FRANCE.
Yan.Georget@inria.fr
http://pauillac.inria.fr/~georget

-- 
Yan Georget - LOCO Project

Tel : +33 (0)1 39 63 57 09 Fax : +33 (0)1 39 63 54 69 Email : Yan.Georget@inria.fr Mail : INRIA Rocquencourt - 78153 Le Chesnay Cedex - FRANCE URL : http://pauillac.inria.fr/~georget

############################################################################ This message was posted through the fuzzy mailing list. (1) To subscribe to this mailing list, send a message body of "SUB FUZZY-MAIL myFirstName mySurname" to listproc@dbai.tuwien.ac.at (2) To unsubscribe from this mailing list, send a message body of "UNSUB FUZZY-MAIL" or "UNSUB FUZZY-MAIL yoursubscription@email.address.com" to listproc@dbai.tuwien.ac.at (3) To reach the human who maintains the list, send mail to fuzzy-owner@dbai.tuwien.ac.at (4) WWW access and other information on Fuzzy Sets and Logic see http://www.dbai.tuwien.ac.at/ftp/mlowner/fuzzy-mail.info (5) WWW archive: http://www.dbai.tuwien.ac.at/marchives/fuzzy-mail/index.html