[2-2] Introduction to Systems for Non-Linear Constraints

A survey by Olga Caprotti <Olga.Caprotti@risc.uni-linz.ac.at>

Systems (discussed individually in this part):

	CAL
	CLP(F)
	GDCC
	ILOG Solver
	Newton
	QUAD-CLP(R)
	RISC-CLP(Real)

The information has been added to the end of the entry for each
individual system. Search for the phrase NON-LINEAR.

Architectures (discussed in Part 1 of the FAQ):

	Cooperative Constraint Solvers	
	Symbolic Representation Scheme