Internet Info 1997 December/Internet_Info_CD-ROM_Walnut_Creek_December_1997.iso/faqs/comp/answers/constraints-faq/part1

Internet Message Format | 1997-10-19 | 25.4 KB

Path: senator-bedfellow.mit.edu!faqserv
From: [e-mail]
Newsgroups: comp.constraints,comp.answers,news.answers
Subject: comp.constraints FAQ (Part 1 of 1)
Supersedes: <constraints-faq/[e-mail]>
Followup-To: comp.constraints
Date: 18 Oct 1997 10:10:33 GMT
Organization: none
Lines: 662
Approved: [e-mail]
Expires: 1 Dec 1997 10:06:58 GMT
Message-ID: <constraints-faq/[e-mail]>
NNTP-Posting-Host: penguin-lust.mit.edu
X-Last-Updated: 1997/09/14
Originator: [e-mail]
Xref: senator-bedfellow.mit.edu comp.constraints:1832 comp.answers:28567 news.answers:114765

Archive-name: constraints-faq/part1
Summary: Frequently asked questions about constraints
Posting-Frequency: monthly
URL: http://www.cirl.uoregon.edu/constraints/
Version: 97.09.13

Contributions and corrections should be sent to:
    <[e-mail]>

This is a list of Frequently Asked Questions (and answers) for the
area of constraints, including books, journal articles, ftp archives,
and systems & products. It is posted once a month to the newsgroups
comp.constraints, comp.answers, and news.answers.

NOTE: the Constraints Archive web pages contain far more information
than the FAQ, including pointers to other web pages and ftp sites:
http://www.cirl.uoregon.edu/constraints/

This guide is regularly posted to comp.constraints.  It may also be
obtained from the WWW pages, and from the archive on rtfm.mit.edu in
the directory /pub/usenet/news.answers/constraints-faq.  You can
access the rtfm archive by mail server as well.  Send an e-mail
essage to [e-mail] with "help" and "index" in the
body on separate lines for more information.

This FAQ is Copyright David Joslin, 1996, 1997.  Permission to do
reasonable things not for profit is given to anyone.  Anything else,
ask me.

Contributors to this FAQ include Michael Jampel <[e-mail]>,
who was the original author and maintainer, and: Philippe Blache
<[e-mail]>, Mark Kantrowitz <[e-mail]>, Wm Leler
<[e-mail]>, Manfred Meyer <[e-mail]>, Milind
Tambe <[e-mail]>, Thomas Schiex <[e-mail]>, and Tad Hogg
<[e-mail]>.

----------------------------------------------------------------
Table of Contents:
   [1-1] Introductory papers and texts
   [1-2] Other related FAQs
   [1-3] Acronyms
   [1-4] Publications
   [1-5] Bibliographies
   [1-6] Journals
   [1-7] Mailing lists
   [1-8] Newsgroups
   [1-9] Benchmarks and examples
   [1-10] Constraint libraries for Lisp and C
   [1-11] Constraint systems

Search for [#] to get to topic number # quickly. In newsreaders which
support digests (such as rn), [CTRL]-G will page through the answers.

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

Subject: [1-1] Introductory papers and texts

V. Kumar, "Algorithms for Constraint-Satisfaction Problems: A Survey, "
AI Magazine 13(1):32-44, 1992.  (A postscript version
<http://www.cirl.uoregon.edu/constraints/archive/kumar.ps> is
available.  It differs slightly from the published version.)

David McAllester's lecture notes on constraint satisfaction search
<http://www.cirl.uoregon.edu/constraints/archive/dmac.ps>
[postscript].

Constraint Logic Programming
<http://www.cirl.uoregon.edu/constraints/archive/byte.html> by Dick
Pountain. Reproduced with permission from BYTE <http://www.byte.com/>
magazine, February 1995; converted to html by Michael Jampel.  (BYTE
has now put their version <http://www.byte.com/art/9502/sec13/art3.htm>
of the article on the web.)

E. Tsang <[e-mail]>, "Foundations of Constraint
Satisfaction", Academic Press, 1993.  ISBN 0-12-701610-4.  (Out of
print, but available from the author
<http://cswww.essex.ac.uk/CSP/edward/FCS.html>.)

Also see the articles on Constraint Networks (pages 276-285) and
Constraint Satisfaction (pages 285-293) in Shapiro's Encyclopedia of
Artificial Intelligence.

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

Subject: [1-2] Other related FAQs

Many FAQs are posted to the news.answers newsgroup, and, if
appropriate, to comp.answers and other groups.  These FAQs are archived
at <ftp://rtfm.mit.edu/pub/usenet/>.  For example, the comp.constraints
FAQs are in the <ftp://rtfm.mit.edu/pub/usenet/comp.constraints/>
directory.

These FAQs are also automatically converted to HTML (in most cases,
this just means that URLs are converted to hot links), and archived in
various places such as the News.Answers Faqs Archive
<http://www.cs.ruu.nl/cgi-bin/faqwais> at Utrecht; for example, the
comp.constraints FAQ
<http://www.cs.ruu.nl/wais/html/na-bng/comp.constraints.html>,
converted to HTML format, can be found there.  You can also search the
collection of FAQs.  Also see Smartpages
<http://www.smartpages.com/bngfaqs/top.html> and the Ohio State
archives
<http://www.cis.ohio-state.edu/hypertext/faq/usenet/FAQ-List.html>
maintained by Tom Fine, Infoseek <http://guide.infoseek.com/> (one of
the search options is "Usenet FAQs"), and Kent Landfield's archive
<http://www.landfield.com/faqs/>.

Here are the FAQs for comp.ai
<http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/ai/ai_general/top.html>,
for AI in general
<http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/ai/top.html>, for AI
programming languages
<http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/lang/top.html> and for
comp.lang.prolog
<http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/lang/prolog/top.html>
(with some information on CLP).

The sci.op-research newsgroup has FAQs for linear and non-linear
programming <http://www.mcs.anl.gov/home/otc/Guide/faq/> These can be
found in ascii format, along with an index of resources for numerical
computation in C or C++ (including some for linear and non-linear
programming), in <ftp://rtfm.mit.edu/pub/usenet/sci.op-research/>.


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

Subject: [1-3] Acronyms

This section explains what various acronyms stand for, without much
detail on any of them.  You can also use the search facility
<http://www.cirl.uoregon.edu/constraints/search.html> of the constraints
archive to find web pages on which a term occurs.

(*) Denotes techniques/heuristics for improving the efficiency of
constraint satisfaction


AC -- Arc-Consistency: a method for reducing the amount of back-tracking
   in CSPs
AC-n -- Different algorithms for enforcing arc consistency: AC-3, AC-4
   (Mackworth), AC-5 (van Hentenryck), AC-6+, AC6++ (Bessiere and Regin),
   AC-7 (Freuder). Also Hierarchical AC: HAC (Mackworth) and HAC-6 (Kokeny)
AKL -- Agent Kernel Language: object-oriented concurrent constraints
   (previously called Andorra Kernel Language)
ATMS -- Assumption-Based Truth-Maintenance System
BJ -- Backjumping (*)
BM -- Backmarking (*)
BMJ -- Backmarking with backjumping (*)
CBJ -- Conflict-Directed Back-Jumping (*)
DB -- Dynamic Backtracking (*)
CC(FD) -- Concurrent Constraint Programming over Finite Domains
CCP -- Concurrent Constraint Programming
CHR -- Constraint Handling Rules (Fruehwirth)
CIP -- Constraint Imperative Programming
CLP -- Constraint Logic Programming
CLP(FD) -- Constraint Logic Programming over finite domains
CLP(R) -- Constraint Logic Programming over the domain of Real numbers
CLP(X) -- Constraint Logic Programming over some domain X
COP -- Constrained Optimization Problem
CSP -- Constraint Satisfaction Problem
DBT -- Dynamic backtracking
DCSP -- Dynamic CSP
DnAC -- Dynamic arc-consistency
DVO -- Dynamic Variable Ordering heuristic (*)
FC -- Forward-checking (*)
FF -- First Fail principle: choose the variable with the smallest
   domain as the next instantiation (*)
FLA -- Full Look Ahead
FOF -- Factor Out Failure
FSL -- Full Shallow learning (*)
GBJ -- Graph based Backjumping (*)
HAC -- Hierarchical Arc Consistency. See AC-n.
HCLP -- Hierarchical CLP
IB -- Intelligent Backtracking (*)
IDA* -- Iterative Deepening A*
ILP -- Integer Linear Programming
IP -- Integer Programming
LC -- Local changes
LP -- Logic Programming or Linear Programming
MAC -- Maintaining Arc-Consistency
NC -- Node consistency (see AC). Not much used
NLP -- Non-Linear Programming. (Natural Language Processing elsewhere)
NR -- Nogood recording (*)
OR -- Operations Research. see newsgroup sci.op-research
PC -- Path-Consistency. Not much used
PCSP -- Partial CSP
PLA -- Partial Look Ahead
RFLA -- Real Full Look Ahead
SAT -- The problem of deciding if a given logical formula is SATisfiable.
TMS -- Truth-Maintenance System
TSP -- Travelling Salesman Problem; a typical very hard problem

(Thanks to Michael Jampel, Patrick Prosser, Thomas Schiex, Berthe
Choueiry, Alan Borning, Warwick Harvey, Thom Fruehwirth. Please inform
me of additions.)

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

Subject: [1-4] Publications

This section contains pointers to various constraints-related books,
articles, reviews, etc., as well as pointers to sites that have
collections of constraint-related publications.

Books and articles
================================================================

CHIC Lessons on CLP Methodolgy (html
<http://www.ecrc.de/eclipse/html/CHIC_Methodology.html>, postscript
<ftp://ftp.ecrc.de/pub/chic/methodology.ps.gz>) -- a paper by Andre
Chamard, Annie Fischler, Dominique-Benoit Guinaudeau and Andre Guillard

Computational Phonology: A Constraint-Based Approach
<http://www.cogsci.ed.ac.uk/~steven/book.html> a book by Steven Bird,
Edinburgh.

Constraint Programming: Basics and Trends
<http://www.cirl.uoregon.edu/constraints/archive/podelski.html> edited
by Andreas Podelski (Chatillon-sur-Seine Spring School, France, May 1994).

CHIP hints <http://www.biochem.abdn.ac.uk/~scott/chip.html> (Scott
Fleishman <http://www.biochem.abdn.ac.uk/~scott/scott.html>,
Aberdeen).

Logic Programming: Formal Methods and Practical Applications
<http://voss.fernuni-hagen.de/gebiete/pi8/lit/lp95book.html> edited by
C. Beierle and L. Pluemer, published by Elsevier.

Abstract <http://www.cirl.uoregon.edu/constraints/archive/kondrak.html>
of "A Theoretical Evaluation of Selected Backtracking Algorithms" by
Grzegorz Kondrak, University of Alberta.

Over-Constrained Systems
<http://www.cirl.uoregon.edu/constraints/archive/ocs-book.html> edited
by Michael Jampel, Eugene Freuder, and Michael Maher. Springer LNCS
1106, August 1996. Contains selected papers from the Workshop on
Over-Constrained Systems at CP'95, and also reprints and background
papers.

Phase Transition Behaviour of Maintaining Arc Consistency
<ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_25.ps.Z> by Stuart
Grant and Barbara Smith (Leeds)

Reviews and surveys
================================================================

Overview of CSP tools
<http://www.aiai.ed.ac.uk/~timd/constraints/csptools/> including CHIP,
CHARME, and ILOG SOLVER by Tim Duncan
<http://www.aiai.ed.ac.uk/~timd/timd.html>.

CLP with Non-Linear Constraints
<http://www.risc.uni-linz.ac.at/people/ocaprott/survey.html>, a survey
by Olga Caprotti
<http://info.risc.uni-linz.ac.at:70/1/people/ocaprott>. (This
information is also in the comp.constraints FAQ, but in a slightly
different form.)

Review <http://www.cirl.uoregon.edu/constraints/archive/cras.html> by
Michael Jampel of A Review of Industrial Constraint Solving Tools by
Jean-Yves Cras

Sites with publications on constraints
================================================================

CCL project <http://ps-www.dfki.uni-sb.de/ccl> Construction of
Computational Logics (located at DFKI) -- also CCL Bibliographies
<http://ps-www.dfki.uni-sb.de/ccl/publications/index.html>

CHIC project <http://www.ecrc.de/CHIC/> Constraint Handling in Industry
and Commerce (located at ECRC)

Computer Aided Design
<http://www-cad.eecs.berkeley.edu/Respep/Research/analog-cad/analog-group-stuff.html>
Constraint-driven synthesis and analysis of analog and mixed-signal
integrated circuits (Berkeley).

Constraint Logic Programming ftp archive
<ftp://ftp.daimi.aau.dk/pub/CLP/index.html> (run by Brian Mayoh)

Constraints <http://www.cs.unh.edu/constraints> Journal, edited by
Eugene Freuder <http://www.cs.unh.edu:70/0h/faculty/freuder.html>.

CMU AI Repository
<http://www.cs.cmu.edu/Web/Groups/AI/html/repository.html>

DFKI Programming Systems Lab <http://ps-www.dfki.uni-sb.de> and DFKI
Constraints Research
<http://www.dfki.uni-kl.de/~hmeyer/constraints/constraints.html>

ECRC ftp archive <ftp://ftp.ecrc.de/pub/>

Essex University ftp archive <ftp://solb1.essex.ac.uk/pub/csp/> (CSPs,
partial constraints, constraints related to neural nets etc. Edward
Tsang)

The ILOG Solver and Schedule
<http://www.ilog.com/html/product_optimization_suite.html>
web pages include relevant papers

Imperial College Logic Programming Section
<http://www-lp.doc.ic.ac.uk:80/_lp/> publications ftp site

JAIR <http://www.cs.washington.edu/research/jair/home.html> (Journal of
AI Research home page)

LIA <ftp://liasun3.epfl.ch/lia> papers and reports (Lausanne)

Logic Programming <http://www.comlab.ox.ac.uk/archive/logic-prog.html>
(Jonathan Bowen, Oxford University)

NASA Ames Research Center
<http://fi-www.arc.nasa.gov/fia/projects/xfr/papers/> various papers

Ohio State CLP tech reports
<http://www.cis.ohio-state.edu/~spiro/clp.html> (Spiro Michaylov)

Overview of CSP tools
<http://www.aiai.ed.ac.uk/~timd/constraints/csptools/> (Tim Duncan)

Phase Transition
<ftp://parcftp.xerox.com/pub/dynamics/constraints.html> in CSPs (Tad
Hogg)

Phase Transition Behaviour of Maintaining Arc Consistency
<ftp://agora.leeds.ac.uk/scs/doc/reports/1995/95_25.ps.Z> by Stuart
Grant and Barbara Smith

ICS ISL <http://www.sics.se/isl/> Intelligent Systems Laboratory at SICS

Toronto OR <ftp://fmgmt.mgmt.utoronto.ca>: papers from the Laboratory
of Manufacturing Research

University of Washington ftp archive
<ftp://ftp.cs.washington.edu/pub/constraints> (Alan Borning etc.) ---
also WWW <http://www.cs.washington.edu/research/constraints>

Xerox PARC ftp archive <ftp://parcftp.xerox.com/pub/ccp>


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

Subject: [1-5] Bibliographies

Short bibliography
<http://www.cirl.uoregon.edu/constraints/archive/shortbib> covering
some key CLP and CSP papers and books.  Suggestions for updating the
list are requested; email <[e-mail]>.

CLP bibliography <ftp://archive.cis.ohio-state.edu/pub/clp> by Spiro
Michaylov <[e-mail]> (somewhat out of date; no entries
after 1993).

An updated CLP bibliography is maintained by Peggy Eaton
<mailto:[e-mail]>.  (URL TO BE ADDED)

Abstract Interpretation Bibliography
<http://www.labri.u-bordeaux.fr/~corsini/Public/Reports/abint-biblio.ps>
(Marc-Michel Corsini)

CCL Bibliographies
<http://ps-www.dfki.uni-sb.de/ccl/publications/index.html> (Constraints
in Computational Logic project)

Combinations of Constraint Solving Techniques
<http://acsl.cs.uiuc.edu/~tinelli/papers/comb-papers.html>

Constraint Programming Paper Archive:  Aarhus University, Denmark, has
established an anonymous ftp archive for papers on "Constraint
Programming" at <ftp://ftp.daimi.aau.dk//pub/CLP/> For further
information, contact Brian H. Mayoh <[e-mail]>.

ECRC tech reports are available at <ftp://ftp.ecrc.de> or
<http://www.ecrc.de/>

Fuzzy Scheduling bibliography <ftp://mira.dbai.tuwien.ac.at/pub/slany/>
(Wolfgang Slany <http://www.dbai.tuwien.ac.at/staff/slany.html>)

Glimpse server <http://donkey.cs.arizona.edu:1994/bib> for general
computing bibliographic searches

Logic Programming bibliographies
<http://ps-www.dfki.uni-sb.de/lp-proceedings> (Ralf Scheidhauer
<http://ps-www.dfki.uni-sb.de/~scheidhr>) -- can be searched
<http://ps-www.dfki.uni-sb.de/lp-proceedings/bibtex/ghindex.html>

Logic Programming Conferences
<http://www.informatik.uni-trier.de/~ley/db/conf/index.l.html> --
excellent WWW bibliographies (Michael Ley) --- also a page of more
general bibliographies
<http://www.informatik.uni-trier.de/~ley/db/conf/index.html>, including
databases

Theory journal <http://theory.lcs.mit.edu/~dmjones/hbp/>
bibliographies, organised by David Jones
<http://theory.lcs.mit.edu/~dmjones/>.  Includes:  FOCS: IEEE Symposium
on Foundations of Computer Science
<http://theory.lcs.mit.edu/~dmjones/FOCS/homepage.html>, Information
and Computation <http://theory.lcs.mit.edu/~iandc/>, Journal of the ACM
<http://theory.lcs.mit.edu/~jacm/>, LICS: IEEE Symposium on Logic in
Computer Science <http://theory.lcs.mit.edu/~dmjones/LICS/>, STOC: ACM
Symposium on Theory of Computing
<http://theory.lcs.mit.edu/~dmjones/STOC/homepage.html>.


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

Subject: [1-6] Journals

CONSTRAINTS is a new journal published by Kluwer.  The Editor-in-Chief
is Eugene C. Freuder <[e-mail]>.  See
<http://www.cs.unh.edu/constraints/>.  CONSTRAINTS will be available
both as a conventional paper journal and in electronic form.  The
Instructions for Authors can be obtained from Kelly Riddle
<[e-mail]>.

The AI Journal <http://www.elsevier.nl/locate/artint> publishes
constraint-related articles.  (Note the new electronic services
available to  users affiliated to institutes with a full subscription
to the paper journal.  Abstracts and some papers are available on-line,
and can be searched.)

The Journal of Artificial Intelligence Research (JAIR)
<http://www.cs.washington.edu/research/jair/home.html> is published
both electronically and in hard copy.  Articles are announced in
comp.ai.jair.announce and published in comp.ai.jair.papers and on the
web page.

AI Communications (4 issues/yr) "The European Journal on Artificial
Intelligence" ISSN 0921-7126, European Coordinating Committee for
Artificial Intelligence.

The Journal of Logic Programming (issued bimonthly), Elsevier
Publishing Company, ISSN 0743-1066.  (CLP-related articles.)

New Generation Computing Springer-Verlag. (Prolog-related articles)

The Journal of Functional and Logic Programming (JFLP) is a new
electronic journal that covers a broad scope of topics from functional
and logic programming. It is specially concerned with the integration
of the functional and logic paradigm as well as their common
foundations. The Journal expects articles ranging from the theoretical
foundations of functional and logic programming up to the application
of such languages in the real world. The Journal is published by The
MIT Press. See <http://mitpress.mit.edu/jrnls-catalog/jflp.html> or
<http://www.cs.tu-berlin.de/~chak/jflp/> for details.

Other links
================================================================

See the journal list
<http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/other/publications.html>
at the CMU AI Repository
<http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/air.html>.


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

Subject: [1-7] Mailing lists

CCL II mailing list This is the mailing list of the Esprit (European
Union) project CCL II "Construction on Computational Logics" which
focuses in particular on symbolic constraints.  To subscribe, send mail
to <[e-mail]>.  The project's home page is
<http://www.ps.uni-sb.de/ccl/> where you can find an archive of the
mailing list.

Constraint Logic Programming Announcements and articles to
<[e-mail]>. Requests to subscribe/unsubscribe to
<[e-mail]>. Maintained by Roland Yap
<[e-mail]>.

CLP(R) Users Announcements and articles to <[e-mail]>.
Requests to subscribe/unsubscribe to <[e-mail]>.
Maintained by Roland Yap <[e-mail]>.

Constraint Satisfaction Problems (CSP) To subscribe, send e-mail to
<[e-mail]> in the form "SUB CSP-LIST <name>".  Send
submissions to <[e-mail]>.  List maintained by Thomas
Schiex <[e-mail]>.

Intelligent Decision Support System Mailing List  (Not completely
relevant, but to some extent related to applications of constraints.)
To post to the list e-mail <[e-mail]>. Subscription
requests should be sent to <[e-mail]>.

The SCHED-L Mailing list Knowledge-based scheduling.  Discussion of
scheduling techniques and manufacturing processes.  Send "subscribe
sched-l {your full name}" in the body of a message to
[e-mail] <>.  Maintained by Wolfgang Slany
<[e-mail]>.  Archives are available for the
SCHED-L <http://www.dbai.tuwien.ac.at/marchives/sched-l/index.html>.


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

Subject: [1-8] Newsgroups

comp.constraints, comp.ai, and other AI newsgroups are archived at:
<http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/pubs/news/0.html>.

comp.lang.prolog is archived at:
<http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/news/prolog/0.html>

Other relevant groups might include sci.op-research and comp.theory


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

Subject: [1-9] Benchmarks and examples

CSP Lab (in Lisp) <ftp://ftp.cs.strath.ac.uk/local/pat/csp-lab> created
by Patrick Prosser. There is also a Scheme version
<ftp://ftp.cs.strath.ac.uk/local/pat/csp-lab.scm>.  Algorithms include
bt, bm, bj, cbj, fc, fc-cbj, and mac.

CAIA-94 <http://cdr.stanford.edu/html/people/petrie/caia.html>, the
workshop on Coordinated Design and Planning, March 1994, introduced the
"secretary's nightmare" scheduling problem.

OR-Library <http://mscmga.ms.ic.ac.uk/info.html> of test data sets
(Imperial College, J.E. Beasley)

Information on the Radio Link Frequency Assignment Problem can be found
at the TU-Delft RLFAP archive <http://dutiosd.twi.tudelft.nl/~rlfap/>

The Mystery Shopper benchmark
<http://www.cirl.uoregon.edu/constraints/archive/mystery-shopper-benchmark.txt>
was developed by Jimmy Ho Man Lee <[e-mail]> and introduced at
CP'96.

The Munich Rent Advisor
<http://www.pst.informatik.uni-muenchen.de/~fruehwir/miet-demo.html>
was written using the CHR library of Eclipse
<http://www.ecrc.de/eclipse/eclipse.html>, by Thom Fruehwirth
<http://www.pst.informatik.uni-muenchen.de/~fruehwir/>.

Neng-Fa Zhou <[e-mail]> has developed a multi-layer
channel router in CLP(FD), and hopes that the program can be used as a
good benchmark for evaluating CLP(FD) systems.  The program, and a
number ofq other CLP benchmarks, are available from
<ftp://ftp.kyutech.ac.jp/pub/Language/prolog/benchmarks.tar.gz>.

Planning and Scheduling <http://www.NeoSoft.com/~benchmrx/> Benchmarks
(Barry Fox, Mark Ringer)

Scheduling Benchmarks and Resources
<http://fi-www.arc.nasa.gov/fia/projects/xfr/papers/benchmark-article.html>
(A paper by Mark Drummond, NASA Ames Research Center; also a postscript
<http://fi-www.arc.nasa.gov/fia/projects/xfr/papers/med-sigman.ps>
version)

Traffic Lights
<http://www.cirl.uoregon.edu/constraints/archive/traffic.html> example
by Walter Hower <http://yeats.ucc.ie/~walter/>

TSP
<http://www.iwr.uni-heidelberg.de/iwr/comopt/soft/TSPLIB95/TSPLIB.html>
Travelling Salesman Problems library, maintained by Gerhard Reinelt
([e-mail])

Zebra Puzzle <http://www.ecrc.de/eclipse/html/extroot/node59.html> --
in Eclipse using CLP(Finite Domains)

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

Subject: [1-10] Constraint libraries for Lisp and C

Patrick Prosser <[e-mail]> discusses various standard
algorithms in the journal Computational Intelligence vol 9(3), 1993.
Scheme versions available from Pat on request; Lisp implementations are
available from <ftp://ftp.cs.strath.ac.uk/local/pat/csp-lab>.

Peter Van Beek <[e-mail]> has written a set of libraries
for C. This package is available from
<ftp://ftp.cs.ualberta.ca/pub/ai/csp> where you will find a README and
also csplib.tar.Z.

Screamer
<http://www.cirl.uoregon.edu/constraints/systems/screamer.html> is a
constraint library for Common Lisp.

Michel Lemaitre has written a Common Lisp library dedicated to the
resolution of "Valued Constraint Satisfaction Problems" (for a
description of VCSP, see
<ftp://ftp.cert.fr/pub/verfaillie/ijcai95.ps>).  The library has been
designed with efficiency in mind. It includes Branch and Bound
extensions of the Backtrack and Forward checking algorithm as well as
the "Russian Doll Search" algorithm described in
<ftp://ftp.cert.fr/pub/verfaillie/rds-aaai96.ps>, and several benchmark
problems.  The library is available at
<ftp://ftp.cert.fr/pub/lemaitre/LVCSP/>.


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

Subject: [1-11] Constraint systems

The constraints archive web page on constraint systems
<http://www.cirl.uoregon.edu/constraints/systems> has entries for
the following systems:

    ALE
    Amulet and Garnet
    B-Prolog
    Bertrand
    CHIP
    CIAL
    CLAIRE
    CLP(BNR), CLP(F), CLP(FD), CLP(R), etc.
    CPLEX
    Contax
    Cooldraw, Deltablue, Skyblue, ThinglabII
    ECLiPSe
    Echidna
    Euclid
    FSQP/CFSQP
    Goedel
    IF/Prolog
    ILOG Schedule, ILOG Solver
    LIFE
    Newton
    Nicolog
    Omega
    Oz
    ProFIT
    Prolog III, Prolog IV
    QUAD-CLP(R)
    Quantum Leap
    RISC-CLP(Real)
    SEL
    SICStus
    Screamer
    Steele
    TOY
    Toupie
    Trilogy
    WAMCC
    cu-Prolog
    opbdp


The constraints archive search page
<http://www.cirl.uoregon.edu/constraints/search.html> also has an
option for searching just the descriptions of systems.

See the comp.lang.prolog, comp.lang.lisp, comp.ai and comp.lang.scheme
FAQs and Resource Guides for possibly more up-to-date and complete
information.

Also see:

Overview of CSP tools
<http://www.aiai.ed.ac.uk/~timd/constraints/csptools/> (Tim Duncan)

PTF:  The Prime Time Freeware CD-ROM series contains various items
mentioned here including Mark Kantrowitz's AI Repository, some ICOT
material, BERTRAND, GARNET, and LIFE. Prime Time Freeware for UNIX
sells for $60 US, list, and is issued twice each year. E-mail
<[e-mail]> for more details.

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