From f34703a279b3fe2609ba7f101cbf609cc119b8da Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sun, 8 Oct 2023 12:07:17 +0200 Subject: [PATCH] remove no longer needed goal projection for pdiv --- src/lib/clpz.pl | 1 - 1 file changed, 1 deletion(-) diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl index bdc747f9..274275b2 100644 --- a/src/lib/clpz.pl +++ b/src/lib/clpz.pl @@ -7778,7 +7778,6 @@ attribute_goal_(x_eq_abs_plus_v(X,V)) --> [#X #= abs(#X) + #V]. attribute_goal_(x_neq_y_plus_z(X,Y,Z)) --> [#X #\= #Y + #Z]. attribute_goal_(x_leq_y_plus_c(X,Y,C)) --> [#X #=< #Y + C]. attribute_goal_(ptzdiv(X,Y,Z)) --> [#X // #Y #= #Z]. -attribute_goal_(pdiv(X,Y,Z)) --> [#X div #Y #= #Z]. attribute_goal_(pexp(X,Y,Z)) --> [#X ^ #Y #= #Z]. attribute_goal_(psign(X,Y)) --> [#Y #= sign(#X)]. attribute_goal_(pabs(X,Y)) --> [#Y #= abs(#X)]. -- 2.54.0