Search the FAQ Archives

3 - A - B - C - D - E - F - G - H - I - J - K - L - M
N - O - P - Q - R - S - T - U - V - W - X - Y - Z
faqs.org - Internet FAQ Archives

comp.constraints FAQ (Part 1 of 1)
Section - [1-11] Constraint systems

( Part1 - Part2 - Single Page )
[ Usenet FAQs | Web FAQs | Documents | RFC Index | Business Photos and Profiles ]


Top Document: comp.constraints FAQ (Part 1 of 1)
Previous Document: [1-10] Constraint libraries for Lisp and C
See reader questions & answers on this topic! - Help others by sharing your knowledge
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.

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



User Contributions:

Comment about this article, ask questions, or add new information about this topic:

CAPTCHA




Top Document: comp.constraints FAQ (Part 1 of 1)
Previous Document: [1-10] Constraint libraries for Lisp and C

Part1 - Part2 - Single Page

[ Usenet FAQs | Web FAQs | Documents | RFC Index ]

Send corrections/additions to the FAQ Maintainer:
pse@cs.unh.edu





Last Update March 27 2014 @ 02:11 PM