[eclipse-clp-users] Exponentiation and integers

From: Sergey Dymchenko <kit1980_at_...6...>
Date: Sat, 17 Sep 2011 06:18:28 +0300
Hi!

I've found that exponentiation (^) from ic library will not work with
integer constraints even if both values in a exponentiation expression
are integers.

For example, this will not find any possibilities:

N #> 0,
B #> 0,
10^B #> N,

you have to write

N #> 0,
B #> 0,
10^B $> N,

Is this a bug? Is this documented?

Sergey.
Received on Sat Sep 17 2011 - 03:18:34 CEST

This archive was generated by hypermail 2.3.0 : Thu Feb 22 2024 - 18:13:20 CET