rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

ENHANCED: forget auxiliary constraints set up by the propagator for multiplication

Browse Source 
This addresses the issue raised in https://github.com/mthom/scryer-prolog/discussions/1937.
This commit is contained in:
Markus Triska
2023-07-31 21:57:25 +02:00
parent ca28c76e52
commit 54a887cdc3
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/lib/clpz.pl
View File

@@ -5898,6 +5898,11 @@ in_(L, U, X) :-
fd_put(X, NXD, XPs). fd_put(X, NXD, XPs).
min_max_factor(L1, U1, L2, U2, L3, U3, Min, Max) :- min_max_factor(L1, U1, L2, U2, L3, U3, Min, Max) :-
% use findall/3 to forget auxiliary constraints that are only
% needed temporarily for reasoning about domain boundaries
findall(Min-Max, min_max_factor_(L1, U1, L2, U2, L3, U3, Min, Max), [Min-Max]).
min_max_factor_(L1, U1, L2, U2, L3, U3, Min, Max) :-
( U1 cis_lt n(0), ( U1 cis_lt n(0),
L2 cis_lt n(0), U2 cis_gt n(0), L2 cis_lt n(0), U2 cis_gt n(0),
L3 cis_lt n(0), U3 cis_gt n(0) -> L3 cis_lt n(0), U3 cis_gt n(0) ->