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

From: Joachim Schimpf <jschimpf_at_...153...>
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...

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),
	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.3.0 : Wed Aug 21 2019 - 09:13:31 CEST