]> Repositorios git - scryer-prolog.git/commit
Merge pull request #671 from triska/clpb_restriction
authorMark Thom <[email protected]>
Wed, 12 Aug 2020 19:59:51 +0000 (16:59 -0300)
committerGitHub <[email protected]>
Wed, 12 Aug 2020 19:59:51 +0000 (16:59 -0300)
commit32eaab078354f79d6ad090740083d257d94eff01
tree1ebb36feb0f3f50c4b07b9bfa0046d566a35c17e
parent74dc94f6bc51511c949d443fd3c9b7f8dc8f215e
parente185b626bdf1a99ab8188ae39875f645c0de90f0
Merge pull request #671 from triska/clpb_restriction

FIXED: CLP(B): Delay BDD restriction until after the instantiation.