The constraints archive web page on constraint systems
<http://www.cs.unh.edu/ccc/archive/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
	DiSCiPl
	ECLiPSe
	Echidna
	Euclid
	FSQP/CFSQP
	GNU-Prolog
	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	
	cu-Prolog
	opbdp


The constraints archive search page
<http://www.cs.unh.edu/ccc/archive/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
<ptf@cfcl.com> for more details.

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