From: Mark Thom Date: Thu, 23 Feb 2023 00:51:22 +0000 (+0100) Subject: Merge pull request #1741 from triska/clpz_residuals X-Git-Tag: v0.9.2~177 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=84c95c59e97676c0fc9e25ab00d7568e432a88c5;p=scryer-prolog.git Merge pull request #1741 from triska/clpz_residuals in projection of residual goals, mark considered propagators as processed --- 84c95c59e97676c0fc9e25ab00d7568e432a88c5