Limits of ECLiPSe ?

From: Olivier Thirifay <olithiri_at_hotmail.com>
Date: Mon 22 Oct 2001 02:57:13 PM GMT
Message-ID: <F4YTHhM5CX6yIK5RVTZ0000f7e7@hotmail.com>
I would like to known the limits of ECLiPSe with domain (maximum 
variable,...)

I have written a clause :

predicat(VARS) :-
VARS=[A,B,C,D],
A::0..1000,
B::0..1000,
C::0..1000,
D::0..1000,
A#>499,B#>2,C#>200,D#>1,
labeling(VARS).

ECLiPSe crash with it ! I suppose there are too much possibilities for it.
If I reduce the domain or change an inequality in an equality, it runs..
My problem is that I have to use more variables and maybe wider domains.
Can you help me to resolve this problem or my problem is too big for ECLiPSe 
?


Thanks
Olivier

_________________________________________________________________
Téléchargez MSN Explorer gratuitement à l'adresse 
http://explorer.msn.fr/intl.asp
Received on Mon Oct 22 16:00:47 2001

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:10 PM GMT GMT