[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
constraint
|
From: |
michel levy |
|
Subject: |
constraint |
|
Date: |
Wed, 22 Mar 2006 11:46:15 +0100 |
|
User-agent: |
Mozilla Thunderbird 1.0.7-1.1.fc4 (X11/20050929) |
?- X*X #=23.
no
I don't understand how this answer is produced.
I was expecting X #= 1..23
?- X*X #=25.
X = 5
yes
I don't understand how this answer is produced.
I was expecting X #= 1..25
Where (papers, books,..) is it possible to have informations on the
finite domains constraints resolution ?
Sincerely yours
--
Michel Levy
L.S.R., Bureau C214, B.P.72 - 38402 SAINT MARTIN D'HERES CEDEX
e.mail : address@hidden tel :(33)476514022
http://www-lsr.imag.fr/users/Michel.Levy
- constraint,
michel levy <=