[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


From: Claude Certain
Subject: fd_all_different/1
Date: Mon, 8 Nov 2004 21:42:29 +0100

I'm in a really big trouble.
Before digging more into what seems to be a bug, I want your advice:
After computing fd constraints in a rather simple way but in a really time
consumming process (12-15 hours of elapsed time), I obtain a resulting list
with duplicated elements despite the fact that the un-instantiated list has
at the very beginning the fd_all_different symbolic constraint applyed to
All elements of the list are then instantiated with a fd_labelling applyed
to it.
The domain of these elements is 0..35 .
Could you see some reasons justifying this behavior. I have no warning
messages displayed during the computation.
Thank you for your help.
Claude Certain

OS: Windows XP Pro

reply via email to

[Prev in Thread] Current Thread [Next in Thread]