]> Repositorios git - scryer-prolog.git/commit
Merge pull request #1943 from triska/dead_skeleton
authorMark Thom <[email protected]>
Wed, 2 Aug 2023 22:32:27 +0000 (16:32 -0600)
committerGitHub <[email protected]>
Wed, 2 Aug 2023 22:32:27 +0000 (16:32 -0600)
commit2c05ebbded3e174da5a43f3a9fdee736ea1c2089
treeefd12f62fe5c07ae5c15909c422b5d7cadc61c69
parent02328d818cf678b83fb38f4e9e51ae6aede4bbaa
parent0ddda0a864109f69273dc2d056986f9d240a83de
Merge pull request #1943 from triska/dead_skeleton

FIXED: do not attach constraint if the propagator is already entailed and killed