clp(FD,S) v2.0

Yan Georget (Yan.Georget@inria.fr)
Wed, 14 Oct 1998 03:46:30 +0200 (MET DST)

clp(FD,S) v2.0 is a Semiring-based Constraint Logic Programming
language over Finite Domains which has been developed in the
LOCO project at INRIA-Rocquencourt (FRANCE).

-----------------

clp(FD,S) includes:
- a Prolog,
- a solver for semiring-based constraints over finite domains.

-----------------

About the Prolog part:
----------------------
clp(FD,S) provides a compiler which translates Prolog to C and
a top-level.

-----------------

About the solver:
-----------------
clp(FD,S) allows the computation of satisfaction and
optimization of:
- usual CSPs,
- Fuzzy CSPs,
- hierarchical CSPs and others...

It provides a lot of builtin:
- arithmetic constraints,
- boolean constraints,
- meta constraints,
- optimization constraints,
- global constraints,
- predicates for constraints retraction,
and some facilities to build new constraints.

-----------------

About the distribution:
-----------------------

Available from:
http://pauillac.inria.fr/~georget/clp_fds/clp_fds.html

Requires:
GNU C (gcc) version 2.4.5 or higher.

Ported on:
Solaris, SunOS, Linux

Includes:
- the source,
- a manual,
- non-trivial examples.

-- 
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