[eclipse-clp-users] Local search library - lib(tentative)

I have just noticed that there is a mistake in the example code
for library(tentative_constraints), which makes the code loop
instead of computing solutions to large n-queens problems, as intended...
http://eclipse-clp.org/doc/bips/lib/tentative_constraints/index.html

If anyone has been discouraged from using the library because of the
buggy example, please try again.  The library lib(tentative) and
lib(tentative_constrains) provide support for the use of local search
methods within ECLiPSe.

To correct the example, please replace the line
	vs_worst(Vars, X),
by
	vs_random_worst(Vars, X),
With this change, it will successfully solve 1000s of queens.


-- Joachim