]> Repositorios git - scryer-prolog.git/commit
Merge pull request #1741 from triska/clpz_residuals
authorMark Thom <[email protected]>
Thu, 23 Feb 2023 00:51:22 +0000 (01:51 +0100)
committerGitHub <[email protected]>
Thu, 23 Feb 2023 00:51:22 +0000 (01:51 +0100)
commit84c95c59e97676c0fc9e25ab00d7568e432a88c5
tree2b7da26be7f5137b5f5194f3cc21c1497a14fc18
parent95f6ebc0002778b71d402e149e01b2031f74083a
parent669242a8ced9ea801a2023115eaa525ce5bb2767
Merge pull request #1741 from triska/clpz_residuals

in projection of residual goals, mark considered propagators as processed