negative values of Finite Domain Variables

Daniel Ajoy <[email protected]> Fri, 27 May 2022 14:28:57 -0500
Newsgroups gmane.comp.gnu.prolog.general
Message-ID <CAEkYmLsKWkrmFgerpE34v4SaFT=kPfnvTcTsG=JfJQ=TpbLknQ@mail.gmail.com>
--000000000000fcd94805e0035124
Content-Type: text/plain; charset="UTF-8"

Hi,

I was expecting:

fd_domain(X,-100,100), 2 #= X + 9.

to produce

X  = -7

But it didn't find that answer. Is it the case that the FD variables can
only be positive?

If that's the case, is there a workaround?

Daniel

--000000000000fcd94805e0035124
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div>Hi,</div><div><br></div><div>I was expecting:</div><d=
iv><br></div><div>fd_domain(X,-100,100), 2 #=3D X + 9.</div><div><br></div>=
<div>to produce</div><div><br></div><div>X=C2=A0 =3D -7</div><div><br></div=
><div>But it didn&#39;t find that answer. Is it the case that the FD variab=
les can only be positive?</div><div><br></div><div>If that&#39;s the case, =
is there a workaround?</div><div><br></div><div>Daniel<br></div><div><br></=
div></div>

--000000000000fcd94805e0035124--