Hi all,
please use (//)2 for truncated integer division (rounding towards zero) in your CLP(FD) programs, as in:
X #= Y // Z
This syntax has already been supported for several months and works in SWI >= 7.1.18.
Previously, truncated integer division was provided by (/)/2. The semantics of (/)/2 in CLP(FD) arithmetic expressions is going to change in the future (accompanied by more information), so please change / to // in your current CLP(FD) arithmetic expressions.
To support you during the transition period, (/)/2 will continue to be available in its current form for the next 3 development releases.
Thank you and all the best!
Markus