]> Repositorios git - scryer-prolog.git/commit
Merge pull request #1797 from triska/clpb_residuals
authorMark Thom <[email protected]>
Sun, 23 Apr 2023 16:31:40 +0000 (10:31 -0600)
committerGitHub <[email protected]>
Sun, 23 Apr 2023 16:31:40 +0000 (10:31 -0600)
commit402100fd52b71a4e9dd220a0f8c90d079f94d2c8
tree8ce7881a7b8dfc0ddb7c0e1edd8a34960a1abfb4
parent7d2e59ab64fd36ee90195b61a3b6bceb071576a0
parent2a1b8f37eca21a80ad22b22dc23304379e3d77c5
Merge pull request #1797 from triska/clpb_residuals

remove residual goal for ground BDD