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

From: Joachim Schimpf <jschimpf_at_users.sf.net>
Date: Tue, 02 Dec 2008 14:16:38 +1100
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
Received on Tue Dec 02 2008 - 03:16:50 CET

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET