Thanks Kish, So how do I use bb_min/3 in the presence of disjunctions? Can you please show using a minimal example? Amine. > Date: Thu, 18 Feb 2010 14:29:09 +0000 > From: kisshen_at_...5... > To: cyborgamine_at_...32... > CC: eclipse-clp-users_at_lists.sourceforge.net > Subject: Re: [eclipse-clp-users] timeout in bb_min/3 > > Amine Marref wrote: > > Hello, > > > > 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? > > > > Cheers, > > > > Amine. > > > Hi Amine, > > The time-out for bb_min applies to the bb_min it is in. Your program > calls bb_min many times, and each bb_min seem to fail very quickly (much > less than the 10 second time-out), that is why you don't time-out. > > You are calling bb_min many times because you have created many > choice-points when you posted your constraints before bb_min (as you > create alternative constraints to post with ;). Normally, this style of > programming (having many choice-points when you post your constraints) > is not a recommended style for constraint programming. > > Cheers, > > Kish > > -- > This e-mail may contain confidential and privileged material for the > sole use of the intended recipient. Any review, use, distribution or > disclosure by others is strictly prohibited. If you are not the intended > recipient (or authorized to receive for the recipient), please contact > the sender by reply e-mail and delete all copies of this message. > Cisco Systems Limited (Company Number: 02558939), is registered in > England and Wales with its registered office at 1 Callaghan Square, > Cardiff, South Glamorgan CF10 5BT.Received on Thu Feb 18 2010 - 14:37:11 CET
This archive was generated by hypermail 2.3.0 : Wed Sep 25 2024 - 15:13:20 CEST