[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
FD and Multiplication
From: |
Jan Burse |
Subject: |
FD and Multiplication |
Date: |
Mon, 16 Apr 2012 20:58:41 +0200 |
User-agent: |
Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6; rv:11.0) Gecko/20120312 Firefox/11.0 SeaMonkey/2.8 |
Hi,
Any reason that the following fails:
?- (Y-5)*(X-6) #= 0.
No
Best Regards
P.S.: On the other the following works:
?- (X-5)*(X-6) #= 0, fd_labeling(X).
X = 5 ? ;
X = 6
But I didn't figure out how to list the
actual constraint store, and also I didn't
figure out how to get heuristic information
that is for example used in labeling, such
as the weight used in "most constraints".
Listing the constraint store and/or
heuristic information would also help
debugging the query that fails.
- FD and Multiplication,
Jan Burse <=