[eclipse-clp-users] timeout in bb_min/3

From: Amine Marref <cyborgamine_at_...32...>
Date: Thu, 18 Feb 2010 13:23:34 +0000

I am using Eclipse version 6.0#115 under Ubuntu 9.

I attach the predicate solve/1 which calls bb_min/3 at line 189. After about 1500 seconds, eclipse returns that the problem has no solution.

However, the timeout option in bb_min/3 in the attached file, should stop search after 10 seconds. It is not timing out.

What could be the reason?




Received on Thu Feb 18 2010 - 13:24:44 CET

This archive was generated by hypermail 2.3.0 : Tue Aug 20 2019 - 12:15:19 CEST