From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 17 Jun 2025 04:02:38 +0000 (-0700)
Subject: Merge pull request #2970 from notoria/clpz
X-Git-Tag: v0.10.0~43
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=1cf5de8f5cb9adca5050a6a34e7c8f21a229f627;p=scryer-prolog.git

Merge pull request #2970 from notoria/clpz

Make `(mod)/2` stronger in CLP(Z)
---

1cf5de8f5cb9adca5050a6a34e7c8f21a229f627